We consider a particular class of Stochastic Petri Nets exhibiting a Product Form Solution over sub-nets. For this type of product form models we provide a normalisation constant algorithm for computing the performance indices of such SPNs. The considered Product Form Solution criterion is based on a factorisation of the equilibrium distribution of the model in terms of distributions of the Continuous Time Markov Chains of the basic sub-models and hence, although all the derivations presented in this paper concern Stochastic Petri Net models, they can easily be adapted to other performance formalisms where the identification of classes of models exhibiting a Product Form Solution over sub-models is possible.

Computational algorithms for product-form of competing Markov chains

SERENO, Matteo
2003-01-01

Abstract

We consider a particular class of Stochastic Petri Nets exhibiting a Product Form Solution over sub-nets. For this type of product form models we provide a normalisation constant algorithm for computing the performance indices of such SPNs. The considered Product Form Solution criterion is based on a factorisation of the equilibrium distribution of the model in terms of distributions of the Continuous Time Markov Chains of the basic sub-models and hence, although all the derivations presented in this paper concern Stochastic Petri Net models, they can easily be adapted to other performance formalisms where the identification of classes of models exhibiting a Product Form Solution over sub-models is possible.
2003
10-th International Workshop on Petri Nets and Performance Models (PNPM '03)
Urbana, Illinois, USA
2-5 Settembre 2003
Proceedings of the 10-th International Workshop on Petri Nets and Performance Models (PNPM '03)
IEEE Computer Society
93
102
M. SERENO
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: https://hdl.handle.net/2318/19994
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? 2
social impact