DocumentCode :
2654586
Title :
Performance evaluation using unbounded timed Petri nets
Author :
Zuberek, W.M.
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
fYear :
1989
fDate :
11-13 Dec 1989
Firstpage :
180
Lastpage :
186
Abstract :
Unbounded timed Petri nets are place-unbounded free-choice place/transition nets with exponentially distributed firing times associated with transitions of a net. In such nets the finite state space is generated by a finite set of linear equations. The regularity of this linear description can be used for a `projection´ (or `folding´) of the infinite state space into an equivalent finite representation that can be described by a finite set of nonlinear equilibrium equations. The solution of these equations determines the stationary probabilities of the states. Many performance measures can be obtained directly from this stationary solution. Such unbounded nets can eliminate the state explosion problem of some models by using unbounded but simple approximations to bounded but complex models
Keywords :
Petri nets; performance evaluation; exponentially distributed firing times; finite representation; finite state space; nonlinear equilibrium equations; performance evaluation; performance measures; unbounded timed Petri nets; Computer science; Distributed databases; Exponential distribution; Markov processes; Mathematical model; Nonlinear equations; Petri nets; Random variables; State-space methods; Stochastic processes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop on
Conference_Location :
Kyoto
Type :
conf
DOI :
10.1109/PNPM.1989.68551
Filename :
68551
Link To Document :
بازگشت