Embedded processes in Generalized Stochastic Petri Nets
Gianfranco Balbo, Steven C. Bruell, Matteo Sereno · 2002
We show that a particular class of Generalized Stochastic Petri Nets have stationary probabilities that exhibit a product form. Efficient solution algorithms can be developed for the computation of the performance indices of such Product-Form GSPNs. These algorithms avoid the generation of the underlying state space. Hence, large PF-GSPN models can now be effectively studied.