Decompositions for stochastic product form Petri nets

Stochastic Petri nets are used to model many systems in which competition over resources plays an important part, such as computer systems, telecommunication networks or hospitals. Composition and decomposition of these stochastic Petri nets allows for a more efficient analysis and a better understanding of network behavior and performance. In this work we extended existing decomposition results, which allows us to decompose any SII2-net into separate common input bag classes. Secondly these decomposition results are used to formulate an algorithm to find the normalising constant and first order performance measures efficiently.