Title :
Embedded processes in Generalized Stochastic Petri Nets
Author :
Balbo, G. ; Bruell, S.C. ; Sereno, M.
Author_Institution :
Dipt. di Inf., Torino Univ., Italy
Abstract :
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
Keywords :
Petri nets; formal specification; performance evaluation; stochastic processes; embedded processes; generalized stochastic Petri nets; performance indices computation; product-form GSPNs; stationary probabilities; Cities and towns; Computer science; Concurrent computing; Delay; Petri nets; Power system modeling; State-space methods; Steady-state; Stochastic processes; Stochastic systems;
Conference_Titel :
Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
Conference_Location :
Aachen
Print_ISBN :
0-7695-1248-8
DOI :
10.1109/PNPM.2001.953357
