Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Parallel state space exploration for GSPN models
| |
|
Full Papers
Parallel state space exploration for GSPN models
S. Caselli1, G. Conte1 and P. Marenzoni1
| (1) |
Dipartimento di Ingegneria dell'Informazione, Università di Parma, Viale delle Scienze, 43100 Parma, Italy |
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 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).
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|