Gspn and Spa Compared in Practice Modelling a Distributed Mail System

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 diierences 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]  Jane Hillston,et al.  A compositional approach to performance modelling , 1996 .

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

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

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

[5]  M. Siegle,et al.  Compositional Minimal Semantics for the Stochastic Process Algebra TIPP , 1994 .

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

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

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

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

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

[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]  J. Hillston.  Compositional Markovian Modelling Using a Process Algebra , 1995 .

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