GSPN and SPA Compared in Practice

Generalized 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.

[1]  Ursula Goltz.  CCS and Petri Nets , 1990, Semantics of Systems of Concurrent Processes.

[2]  Christoph Lindemann,et al.  DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets , 1993, Perform. Evaluation.

[3]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

[4]  Holger Hermanns,et al.  Stochastic Process Algebras , 1995 .

[5]  Matteo Sereno,et al.  On the Product Form Solution for Stochastic Petri Nets , 1992, Application and Theory of Petri Nets.

[6]  Giovanni Chiola,et al.  Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications , 1993, IEEE Trans. Computers.

[7]  Susanna Donatelli,et al.  Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution , 1994, Application and Theory of Petri Nets.

[8]  J. Hillston.  Compositional Markovian Modelling Using a Process Algebra , 1995 .

[9]  Matteo Sereno.  Towards a Product Form Solution for Stochastic Process Algebras , 1995, Comput. J..

[10]  Holger Hermanns,et al.  Stochastic process algebras: integrating qualitative and quantitative modelling , 1994, FORTE.

[11]  Susanna Donatelli,et al.  A comparison of performance evaluation process algebra and generalized stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[12]  Holger Hermanns,et al.  Formal Characterisation of Immediate Actions in SPA with Nondeterministic Branching , 1995, Comput. J..

[13]  Isi Mitrani,et al.  TIPP and the Spectral Expansion Method , 1995 .