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.
Analysis and solution of Generalized Stochastic Petri Nets: A data parallel CM-5 approach / Caselli, Stefano; Conte, Gianni; P., Marenzoni. - 919:(1995), pp. 709-716. (Intervento presentato al convegno International Conference and Exhibition on High-Performance Computing and Networking (HPCN'95) tenutosi a Milan, Italy nel May 3-5, 1995).
Analysis and solution of Generalized Stochastic Petri Nets: A data parallel CM-5 approach
CASELLI, Stefano;CONTE, Gianni;
1995-01-01
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
