Skip to main content
SpringerLink
Log in
Book cover

International Conference on Modelling Techniques and Tools for Computer Performance Evaluation

TOOLS 1994: Computer Performance Evaluation Modelling Techniques and Tools pp 266–283Cite as

Experiences on SIMD massively parallel GSPN analysis

  • Full Papers
  • Conference paper
  • First Online:

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

Abstract

Generalized Stochastic Petri Nets (GSPN) are a prominent tool for the performance analysis of many real systems, but are prone to a state space explosion phenomenon that limits the applicability of the methodology. In this paper we describe CM-2 based algorithms dealing with the most computing-intensive part of the solution of GSPN models. Their implementation is fully integrated with a well-known tool for GSPN analysis (GreatSPN) and allows the solution of nets with up to several 106 states. The efficiency of the approach varies with the structure of the model under analysis.

This work was partially supported by MURST 40% funds (special program on Distributed Architectures), by MURST 60% funds and by CNR contracts n.91.02313.CT12 and n.92.00065.CT12.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

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. 2 nd 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, and G. Conte. A class of generalized stochastic Petri nets for the performance analysis of multiprocessor systems. ACM Transactions on Computer Systems, 2(1), May 1984.

    Google Scholar 

  3. S.G. Akl. The Design and Analysis of Parallel Algorithms. Prentice-Hall, Englewood Cliffs, NJ, 1989.

    Google Scholar 

  4. F. Baccelli and M. Canales. Parallel simulation of stochastic Petri nets using recursive equations. Technical Report 1520, INRIA, Sophia-Antipolis, France, September 1991.

    Google Scholar 

  5. G. Balbo, G. Chiola, G. Franceschinis, and G. Molinar Roet. On the efficient construction of the tangible reachability graph of generalized stochastic Petri nets. In Proc. Int. Workshop on Petri Nets and Performance Models, Madison, WI, USA, August. 1987. IEEE-CS Press.

    Google Scholar 

  6. F. Bonardi. Tecniche parallele di analisi di reti di Petri stocastiche: sparo delle transizioni abilitate ed evoluzione delle marcature. Master's thesis, Univ. di Parma, July 1993.

    Google Scholar 

  7. F. Bonardi, M. Caselli, S. Caselli, and G. Conte. A parallel approach to stochastic Petri net analysis. In Proc. Parma-CM Users Meeting, Dip. di Ingegneria dell'Informazione, University of Parma, Italy, July 1993.

    Google Scholar 

  8. P. Buchholz. A hierarchical view of GCSPNs and its impact on qualitative and quantitative analysis. Journal of Parallel and Distributed Computing, 15(3):207–224, 1992.

    MathSciNet  Google Scholar 

  9. M. Caselli. Tecniche parallele di analisi di reti di Petri stocastiche: costruzione del grafo di raggiungibilita'. Master's thesis, Univ. di Parma, March 1993.

    Google Scholar 

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

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

    Google Scholar 

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

  13. M. Fontanesi. Generazione del grafo di raggiungibilita’ di reti di Petri stocastiche generalizzate: Confronto fra algoritmi sequenziale e parallelo. Working Paper DII-CE-WP003-93, Dip. di Ingegneria dell'Informazione, Univ. di Parma, Parma, Italy, September 1993.

    Google Scholar 

  14. M. Fontanesi. Modelli a reti di Petri di sistemi di produzione complessi. Working Paper DII-CE-WP002-93, Dip. di Ingegneria dell'Informazione, Univ. di Parma, Parma, Italy, July 1993.

    Google Scholar 

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

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

    Google Scholar 

  17. TMC. The CM-2 technical summary. Technical report, Thinking Machine Corporation, Cambridge, MA, 1991.

    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, F. Bonardi & M. Fontanesi

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. F. Bonardi
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. M. Fontanesi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Günter Haring Gabriele Kotsis

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Caselli, S., Conte, G., Bonardi, F., Fontanesi, M. (1994). Experiences on SIMD massively parallel GSPN analysis. In: Haring, G., Kotsis, G. (eds) Computer Performance Evaluation Modelling Techniques and Tools. TOOLS 1994. Lecture Notes in Computer Science, vol 794. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58021-2_15

Download citation

  • DOI: https://doi.org/10.1007/3-540-58021-2_15

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58021-8

  • Online ISBN: 978-3-540-48416-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation