Title :
Throughput analysis of simple closed timed Petri net models
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
Abstract :
It is shown that for some classes of closed timed Petri net models the steady-state behavior can be determined on the basis of structural properties only (i.e., without reachability analysis), using the concept of throughput and simple rules of operational analysis. Throughput analysis is based on the average values of firing times rather than firing time distribution functions, so the same approach can be used for a variety of net models. Bounded as well as unbounded (but ergodic) net models can be analyzed by the proposed approach
Keywords :
Petri nets; distributed processing; performance evaluation; closed timed Petri net models; firing times; net models; operational analysis; steady-state behavior; structural properties; throughput analysis; Computer science; Distribution functions; Frequency; Petri nets; Reachability analysis; State-space methods; Steady-state; Stochastic processes; Throughput; Timing;
Conference_Titel :
Circuits and Systems, 1993., Proceedings of the 36th Midwest Symposium on
Conference_Location :
Detroit, MI
Print_ISBN :
0-7803-1760-2
DOI :
10.1109/MWSCAS.1993.343221
