loading...
GridSPN: a Grid-based non Markovian Petri Nets Tool
Linkoping, Sweden June 13-June 15
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WETICE.2005.3914th IEEE International Workshops on ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
S. Distefano, Universita di Messina, Dipartimento di Matematica, Italy
A. Puliafito, Universita di Messina, Dipartimento di Matematica, Italy
M. Scarpa, Universita di Messina, Dipartimento di Matematica, Italy
This paper describes the new features implemented in WebSPN, a modeling tool for the analysis of non-Markovian stochastic Petri nets. WebSPN adopts a discretization of time and an approximation of non-exponentially distributed firing time transitions by means of the Phase type distribution. To improve the MPICH parallel implementation of this algorithm, in this paper we describe the porting of WebSPN from the MPI to the Grid computational paradigm. Besides a better flexibility in accessing computational and storage resources, one of the main advantages is the introduction of a Fault Recovery System to detect and recover from eventual machine faults. The resulting new tool is named Grid- SPN.
Index Terms:
Non-Markovian SPN,DPH, parallel computation, MPI, Grid, MPICH-G2.
Citation:
S. Distefano, A. Puliafito, M. Scarpa, "GridSPN: a Grid-based non Markovian Petri Nets Tool," wetice, pp.331-338, 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (WETICE'05), 2005
Usage of this product signifies your acceptance of the Terms of Use.