WebSPN is a modeling tool for the analysis of non-Markovian stochastic Petri nets that we developed some years ago. Its solution algorithm is based on a discretization of time and an approximation of non-exponentially distributed firing time transitions by means of the phase-type distributions. In order to solve the problems related to the management of the state space (which can become very large) we parallelized the solution algorithm through the MPICH libraries. To improve the MPICH parallel implementation with an adequate security management, a more efficient load distribution and fault-tolerance capabilities, in this paper we propose the porting of WebSPN from the MPI to the Grid computational paradigm. In addition to 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 potential machine faults. The resulting new tool is named GridSPN.

A Grid-based Algorithm For The Solution Of Non Markovian Stochastic Petri Nets

SCARPA, Marco Lucio;PULIAFITO, Antonio;DISTEFANO, SALVATORE
2007-01-01

Abstract

WebSPN is a modeling tool for the analysis of non-Markovian stochastic Petri nets that we developed some years ago. Its solution algorithm is based on a discretization of time and an approximation of non-exponentially distributed firing time transitions by means of the phase-type distributions. In order to solve the problems related to the management of the state space (which can become very large) we parallelized the solution algorithm through the MPICH libraries. To improve the MPICH parallel implementation with an adequate security management, a more efficient load distribution and fault-tolerance capabilities, in this paper we propose the porting of WebSPN from the MPI to the Grid computational paradigm. In addition to 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 potential machine faults. The resulting new tool is named GridSPN.
2007
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11570/1911505
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact