For the most recent entries see the Petri Nets Newsletter.

Parallel State Space Exploration for GSPN Models.

Caselli, S.; Conte, G.; Marenzoni, P.

In: Proceeding of the 16th International Conference on Application and Theory of Petri Nets, Turin, June 1995., pages 181-200. 1995.

Abstract: 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 theses 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).


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography