Parallel State Space Exploration for GSPN Models

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

[1]  Gianni Conte,et al.  GSPN models of concurrent architectures with mesh topology , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[2]  K. Mani Chandy.  Parallel program design , 1989 .

[3]  Giovanni Chiola,et al.  Simulation Framework for Timed and Stochastic Petri Nets , 1991, International Journal in Computer Simulation.

[4]  Giovanni Chiola,et al.  A structural colour simplification in well-formed coloured nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[5]  Gianni Conte,et al.  Experiences on SIMD Massively Parallel GSPN Analysis , 1994, Computer Performance Evaluation.

[6]  Marco Ajmone Marsan,et al.  Applicability of Stochastic Petri Nets to Performance Modeling , 1987, Computer Performance and Reliability.

[7]  Michael K. Molloy.  Structurally Bounded Stochastic Petri Nets , 1987, PNPM.

[8]  Marco Ajmone Marsan,et al.  Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implications , 1993, IEEE Trans. Software Eng..