Skip to main content
SpringerLink
Log in

Analysis and solution of Generalized Stochastic Petri Nets: A data parallel CM-5 approach

  • Conference paper
  • First Online:
High-Performance Computing and Networking (HPCN-Europe 1995)

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

Included in the following conference series:

Abstract

Generalized Stochastic Petri Nets (GSPN) represent an assessed formal methodology for performance analysis.of cuncurrrent systems. The applicability of this methodology is severely limited by potential state space explosion phenomenon. In this paper we describe a CM-5 based data parallel tool dedicated to the complete numerical solution of GSPN models. The main effectiveness of this approach is the significant extension of state space cardinalities that can be generated and solved in reasonable amounts of execution times.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. Murata: Petri nets: properties, analysis, and applications. Proceedings of the IEEE, 77(4), 541–580, April 1989.

    Article  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, 89–107, February 1993.

    Google Scholar 

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

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

  5. M. K. Molloy: Structurally bounded stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models. Madison, Wisconsin, August 1997. IEEE-CS Press.

    Google Scholar 

  6. G. Chiola and G. Franceschinis: A Structural Color Simplification in Well-Formed Colored Nets. In Proc. 4th Int. Workshop on Petri Nets and Performance Models. Melbourne, Australia, December 1991.

    Google Scholar 

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

  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. G. Florin and S. Natkin: Les reseux de Petri stochastiques. Technique et Science Informatiques 4(1), February 1985.

    Google Scholar 

  10. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis: Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons (1994).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria dell'Informazione, Università di Parma, Viale delle Scienze, 43100, Parma, Italy

    S. Caselli, G. Conte & P. Marenzoni

Authors
  1. S. Caselli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Conte
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. P. Marenzoni
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bob Hertzberger Giuseppe Serazzi

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). Analysis and solution of Generalized Stochastic Petri Nets: A data parallel CM-5 approach. In: Hertzberger, B., Serazzi, G. (eds) High-Performance Computing and Networking. HPCN-Europe 1995. Lecture Notes in Computer Science, vol 919. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0046704

Download citation

  • DOI: https://doi.org/10.1007/BFb0046704

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59393-5

  • Online ISBN: 978-3-540-49242-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation