Experiences on SIMD massively parallel GSPN analysis

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