GSPNs versus SPNs: what is the actual role of immediate transitions?

Author

Chiola, Giovanni ; Donatelli, Susanna ; Franceschinis, Giuliana

Author_Institution

Dipartimento di Inf., Torino Univ., Italy

fYear

1991

fDate

2-5 Dec 1991

Firstpage

20

Lastpage

31

Abstract

Stochastic Petri nets (SPNs) and generalized stochastic Petri nets (GSPNs) are compared in order to investigate the role of immediate transitions. The comparison is based on the ability of the two formalisms to define models that can be `scalable´ with respect to the initial marking. An intermediate model between (G)SPN structures and (G)SPN systems called `family´ is introduced as a reference for the comparison. It is shown that GSPN families exist that do not have SPN counter- parts. An algorithm is given to reduce GSPN to SPN families in the cases in which this is possible. The application of this structural reduction algorithm allows a more efficient generation of the state space of GSPN systems

Keywords

Petri nets; data structures; performance evaluation; stochastic automata; formalisms; generalized stochastic Petri nets; performance evaluation; structural reduction algorithm; Availability; Bipartite graph; Object oriented modeling; Object oriented programming; Petri nets; State-space methods; Stochastic processes; Stochastic systems; System recovery; Time sharing computer systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 1991. PNPM91., Proceedings of the Fourth International Workshop on

Conference_Location

Melbourne, Vic.

Print_ISBN

0-8186-2285-7

Type

conf

DOI

10.1109/PNPM.1991.238785

Filename

238785