In this paper we show that the steady-state probability distribution of stochastic Petri nets (SPNs) with product form solution can be efficiently computed using an algorithm whose space and time complexities are polynomial in the number of places and in the number of tokens in the initial marking of the SPN. Basic to the derivation of such an algorithm is a product form solution criterion proposed by J. L. Coleman et al. (1992). The algorithm relies on the derivation of a recursive expression of the normalization constant that is a generalization of that derived by J. P. Buzen (1973) for multiple class product form queuing networks with load independent service centers.

Computational algorithms for product form solution stochastic Petri nets

SERENO, Matteo;BALBO, Gianfranco
1993

Abstract

In this paper we show that the steady-state probability distribution of stochastic Petri nets (SPNs) with product form solution can be efficiently computed using an algorithm whose space and time complexities are polynomial in the number of places and in the number of tokens in the initial marking of the SPN. Basic to the derivation of such an algorithm is a product form solution criterion proposed by J. L. Coleman et al. (1992). The algorithm relies on the derivation of a recursive expression of the normalization constant that is a generalization of that derived by J. P. Buzen (1973) for multiple class product form queuing networks with load independent service centers.
5-th Intern. Workshop on Petri Nets and Performance Models (PNPM '93)
Toulouse, France
October 1993
Proceedings of the 5-th Intern. Workshop on Petri Nets and Performance Models (PNPM '93)
IEEE Computer Society
98
107
M. SERENO; G. BALBO
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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: http://hdl.handle.net/2318/20041
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 11
  • ???jsp.display-item.citation.isi??? ND
social impact