Parallel state space exploration for GSPN models | SpringerLink
Skip to main content

Parallel state space exploration for GSPN models

  • Full Papers
  • Conference paper
  • First Online:
Application and Theory of Petri Nets 1995 (ICATPN 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 935))

Included in the following conference series:

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.

Access this chapter

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  4. G. Chiola: GreatSPN 1.5 software architecture. In Proc. 5th Int. Conf. Modeling Techniques and Tools for Computer Performance Evaluation, Torino, Italy, February 1991.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  7. M. K. Molloy: Structurally bounded stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, Wisconsin, August 1987. IEEECS Press.

    Google Scholar 

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

    Google Scholar 

  9. K. Mani Chandy and Jayadev Misra: Parallel Program Design. Addison-Wesley (1988).

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Giorgio De Michelis Michel Diaz

Rights and permissions

Reprints 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

Publish with us

Policies and ethics