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.
My Menu
Saved Items

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)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.111 • Server: mpweb23
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)