Summary
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1994.
M. Bernardo, L. Donatiello, and R. Gorrieri. Modelling and Analyzing Concurrent Systems with MPA. In U. Herzog and M. Rettelbach, editors, Proc. of 2nd Process Algebra and Performance Modelling Workshop, 1994.
G. Brebner. A CCS-based Investigation of Deadlock in a Multi-process Electronic Mail System. Formal Aspects of Computing, 5(5):467–479, 1993.
P. Buchholz. Compositional Analysis of a Markovian Process Algebra. In U. Herzog and M. Rettelbach, editors, Proc. of 2nd Process Algebra and Performance Modelling Workshop, 1994.
G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic Well-Formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11), November 1993.
S. Donatelli. Superposed generalized stochastic Petri nets: Definition and efficient solution. In Proc. of 15th Int. Conference on Application and Theory of Petri Nets, Zaragoza, Spain, 1994.
S. Donatelli, J. Hillston, and M. Ribaudo. A Comparison of Performance Evaluation Process Algebra and Generalized StochasticPetri Net. to appear in PNPM’ 95, 1995.
S. Donatelli and M. Sereno. On the Product Form Solution for Stochastic Petri Nets. In Application and Theory of Petri Nets, pages 154-172. Springer Verlag, 1992.
N. Goetz, H. Hermanns, U. Herzog, V. Mertsiotakis, and M. Rettelbach. QMIPS book, chapter Stochastic Process Algebras: Constructive Specification Techniques Integrating Functional, Performance and Dependability Aspects. Springer, 1995. to appear.
U. Goltz. CCS and Petri nets. Technical Report 467, GMD, July 1990.
P. Harrison and J. Hillston. Exploiting Quasi-reversible Structures to find Product Form Solutions in MPA Models. In S. Gilmore and J. Hillston, editors, Proc. of 3nd Process Algebra and Performance Modelling Workshop. Springer-Verlag, 1995.
H. Hermanns, U. Herzog, J. Hillston, V. Mertsiotakis, and M. Rettelbach. Stochastic Process Algebras: Integrating Qualitative and Quantitative Modelling. Technical Report 11/94, Universität Erlangen-Nürnberg, IMMD VII, Martensstr. 3, 91058 Erlangen, May 1994.
H. Hermanns, M. Rettelbach, and T. Weiß. Formal characterisation of immediate actions in spa with nondeterministic branching. In Proc. of 3rd Process Algebra and Performance Modelling Workshop, 1995. to appear.
J. Hillston. A Compositional Approach to Performance Modelling. PhD thesis, University of Edinburgh, 1994.
J. Hillston. Compositional Markovian Modelling Using a Process Algebra. In W.J. Stewart, editor, Numerical Solution of Markov Chains. Kluwer, 1995.
J. Hillston and V. Mertsiotakis. A Simple Time Scale Decomposition Technique for SPA. In S. Gilmore and J. Hillston, editors, Proc. of 3nd Process Algebra and Performance Modelling Workshop. Springer-Verlag, 1995.
C. Lindemann. DSPNexpress: A Software Package for the Efficient Solution of Deterministic and Stochastic Petri Nets. In Proceedings of the 6th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation, pages 15-29, Edinburgh, September 1992.
I. Mitrani, A. Ost, and M. Rettelbach. QMIPS book, chapter TIPP and the Spectral Expansion Method. Springer, 1995. to appear.
M. Rettelbach. Towards a Theory of Generalised SPA. In S. Gilmore and J. Hillston, editors, Proc. of 3rd Process Algebra and Performance Modelling Workshop, 1995. to appear.
M. Rettelbach and M. Siegle. Compositional Minimal Semantics for the Stochastic Process Algebra TIPP. In U. Herzog and M. Rettelbach, editors, Proc. of the 2nd Workshop on Process Algebras and Performance Modelling, pages 89-106, Regensberg/Erlangen, July 1994. Arbeitsberichte des IMMD, Universität Erlangen-Nürnberg.
M. Ribaudo. On the Relationship between Stochastic Process Algebras and Stochastic Petri Nets. PhD thesis, University of Torino, 1995.
M. Sereno. Towards a Product Form Solution for Stochastic Process Algebras. In S. Gilmore and J. Hillston, editors, Proc. of 3nd Process Algebra and Performance Modelling Workshop. Springer-Verlag, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 ECSC-EC-EAEC, Brussels-Luxembourg
About this chapter
Cite this chapter
Donatelli, S., Hermanns, H., Hillston, J., Ribaudo, M. (1995). GSPN and SPA Compared in Practice. In: Baccelli, F., Jean-Marie, A., Mitrani, I. (eds) Quantitative Methods in Parallel Systems. Esprit Basic Research Series. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-79917-4_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-79917-4_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-79919-8
Online ISBN: 978-3-642-79917-4
eBook Packages: Springer Book Archive