Analysis and solution of generalized stochastic Petri nets: a data parallel CM-5 approach

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.

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

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

[3]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

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

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

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

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