AESOP home


Methodological Construction of Product-Form Stochastic Petri-Nets for Performance Evaluation

Simonetta Balsamo, Peter G. Harrison, Andrea Marin

Technical Report
December, 2010

Product-forms in Stochastic Petri-Nets (SPNs) are obtained by a compositional technique for the first time, by combining small SPNs with product-forms in a hierarchical manner. In this way, performance engineering methodology is enhanced by the greatly improved efficiency endowed to the steady state solution of a much wider range of Markov models. Previous methods have relied on analysis of the whole net and so are not incremental - hence they are intractable in all but small models. We show that the product-form condition for open nets depends, in general, on the transition rates, whereas closed nets have only structural conditions for a product-form, except in rather pathological cases. Both the "building blocks" formed by the said small SPNs and their compositions are solved for their product-forms using the Reversed Compound Agent Theorem (RCAT), which, to date, has been used exclusively in the context of process-algebraic models. The resulting methodology provides a powerful, general and rigorous route to product-forms in large stochastic models and is illustrated by several detailed examples.

PDF of full publication (293.4 kilobytes)
(need help viewing PDF files?)

Information from