DocumentCode
1958986
Title
Linearly unbounded timed Petri nets in modelling and performance evaluation
Author
Zuberek, W.M.
Author_Institution
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
fYear
1989
fDate
14-16 Aug 1989
Firstpage
149
Abstract
Linearly unbounded time Petri nets are free-choice place/transition nets with exponentially distributed firing times associated with transitions of a net in which the infinite state space is generated by a finite set of linear equations. This linear description can be used for reduction of the infinite state space into an equivalent finite representation that can be easily solved for stationary probabilities of states. Many performance measures can be obtained directly from the stationary solution
Keywords
Petri nets; performance evaluation; state-space methods; equivalent finite representation; exponentially distributed firing times; free-choice place/transition nets; infinite state space; linear equations; linearly unbounded timed Petri nets; performance evaluation; stationary probabilities; Computer networks; Computer science; Distributed databases; Equations; Mathematical model; Multiprocessing systems; Petri nets; State-space methods; Stochastic processes; Stochastic systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1989., Proceedings of the 32nd Midwest Symposium on
Conference_Location
Champaign, IL
Type
conf
DOI
10.1109/MWSCAS.1989.101816
Filename
101816
Link To Document