GSPN and SPA Compared in Practice

S. Donatelli, H. Hermanns, J. Hillston, M. Ribaudo

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract / Description of output

eneralized Stochastic Petri Nets (GSPN) and Stochastic Process Algebras (SPA) can both be used to study functionality as well as performance of parallel and distributed systems. In order to provide insight into the similarities and differences between the formalisms, we study the model construction process in both by means of a large example, a distributed electronic mail system. This comparison of the modelling facilities highlights points where ideas and techniques have been, or can be, exchanged between the two paradigms.
Original languageEnglish
Title of host publicationQuantitative Methods in Parallel Systems
EditorsFrançois Baccelli, Alain Jean-Marie, Isi Mitrani
Place of PublicationBerlin, Heidelberg
PublisherSpringer Berlin Heidelberg
Number of pages14
ISBN (Electronic)978-3-642-79917-4
ISBN (Print)978-3-642-79919-8
Publication statusPublished - 1995

Publication series

NameEsprit Basic Research Series
PublisherSpringer Berlin Heidelberg


Dive into the research topics of 'GSPN and SPA Compared in Practice'. Together they form a unique fingerprint.

Cite this