Stochastic Petri nets are an important formalism used for the performance evaluation of computer and communication systems as well as other fields like bioin-formatics and logistics. Despite its high flexibility and modelling power, one of the problems of quantitative analyses based on stochastic Petri nets is the state space explosion, i.e., the high cardinality reached by the state space of even a structurally small SPN. As a consequence a direct analysis of the Markovian processes underlying the models is not feasible. Product-form Petri nets are a class of stochastic Petri nets whose invariant measure can be expressed as a product of functions, each of which depends only on a marking of a single place. Nevertheless, for the effective computation of the performance indices the computation of the stationary distribution is required. In this paper we propose a classification of product-form stochastic Petri nets based on the availability of algorithms for the computation of their stationary performance indices. Moreover, in case simulation is required, we introduce two stopping criteria that exploit the product-form property of the nets.

Deriving the performance indices in product-form stochastic Petri nets: Open problems and simulation

BALSAMO, Maria Simonetta;MARIN, Andrea;STOJIC, IVAN
2015-01-01

Abstract

Stochastic Petri nets are an important formalism used for the performance evaluation of computer and communication systems as well as other fields like bioin-formatics and logistics. Despite its high flexibility and modelling power, one of the problems of quantitative analyses based on stochastic Petri nets is the state space explosion, i.e., the high cardinality reached by the state space of even a structurally small SPN. As a consequence a direct analysis of the Markovian processes underlying the models is not feasible. Product-form Petri nets are a class of stochastic Petri nets whose invariant measure can be expressed as a product of functions, each of which depends only on a marking of a single place. Nevertheless, for the effective computation of the performance indices the computation of the stationary distribution is required. In this paper we propose a classification of product-form stochastic Petri nets based on the availability of algorithms for the computation of their stationary performance indices. Moreover, in case simulation is required, we introduce two stopping criteria that exploit the product-form property of the nets.
2015
Proc. of 29th Annual European Simulation and Modelling Conference 2015, ESM 2015
File in questo prodotto:
File Dimensione Formato  
esm15.pdf

accesso aperto

Descrizione: Fulltext
Tipologia: Documento in Post-print
Licenza: Accesso libero (no vincoli)
Dimensione 227.48 kB
Formato Adobe PDF
227.48 kB Adobe PDF Visualizza/Apri

I documenti in ARCA 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/10278/3676679
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact