Abstract
Generalized Stochastic Petri Nets (GSPN) have gained a wide acceptance as a modeling tool for the performance analysis of concurrent systems. However, the applicability of this methodology is severely limited by the potential state space explosion phenomenon. In this paper we describe massively parallel approaches to the most computing-intensive part of the solution of GSPN models: the state space construction. The effectiveness of these parallel approaches stays, for every GSPN, in their ability to deal with very large reachability spaces in reasonable time. Both the SIMD and the MIMD programming models are considered, and examples are given using recent massively parallel processing architectures (CM-5, T3D).
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
M. Ajmone Marsan, G. Balbo, G. Chiola and G. Conte: Applicability of stochastic Petri nets to performance modeling. In G. Iazeolla, P. J. Courtois, and O. J. Boxma, editors, Proc. 2nd Int. Workshop Applied Mathematics & Performance/Reliability Models of Computer/Communication Systems, Roma, Italy, May 1987. North-Holland.
M. Ajmone Marsan, G. Balbo, G. Chiola and G. Conte: Generalized stochastic Petri nets: A definition at the net level and its implications. IEEE Trans. on Software Engineering, Vol. 19 n.2 (1993), 89–107.
S. Caselli and G. Conte: GSPN models of concurrent architectures with mesh topology. In Proc. Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991. IEEE-CS Press.
G. Chiola: GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.
G. Chiola: A simulation framework for timed and stochastic Petri nets. International Journal of Computer Simulation, 1991. Special Issue on Simulation of Multiple Processor Networks.
G. Chiola and G. Franceschinis: A Structural Colour Simplification in Well-Formed Coloured Nets. In Proc. 4th Int. Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991.
M. K. Molloy: Structurally bounded stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987. IEEECS Press.
S. Caselli, G. Conte, F. Bonardi and M. Fontanesi: Experiences on SIMD Massively Parallel GSPN Analysis. Lecture Notes in Computer Science 794 (1994) 266–283.
K. Mani Chandy and Jayadev Misra: Parallel Program Design. Addison-Wesley (1988).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Caselli, S., Conte, G., Marenzoni, P. (1995). Parallel state space exploration for GSPN models. In: De Michelis, G., Diaz, M. (eds) Application and Theory of Petri Nets 1995. ICATPN 1995. Lecture Notes in Computer Science, vol 935. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60029-9_40
Download citation
DOI: https://doi.org/10.1007/3-540-60029-9_40
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60029-9
Online ISBN: 978-3-540-49408-9
eBook Packages: Springer Book Archive