Title :
Performance evaluation using unbounded timed Petri nets
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
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;
Conference_Titel :
Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop on
Conference_Location :
Kyoto
DOI :
10.1109/PNPM.1989.68551