Flow equivalent nets for the performance analysis of generalized stochastic Petri nets
H. Jungnitz, A.A. Desrochers · 2002
The reduction of the state space of generalized stochastic Petri net (GSPN) models is discussed. For a certain class of GSPNs it is possible to analyze subnets in isolation by keeping the number of tokens in the net constant. The authors construct a flow equivalent net (FEN), which has the same temporal and input/output properties of the original net, but with a strongly reduced state space. The FEN is substituted back into the complement of the original net.>