Title :
Throughput analysis in timed Petri nets
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
Abstract :
It is shown that the steady-state behavior of a class of timed Petri nets can be analyzed by using the concept of throughput and simple rules of operational analysis. Since such an analysis is based on the average values of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis uses structural properties of nets only. It avoids the potential problems of reachability analysis, and can be applied to unbounded nets. However, it does not provide as much information as can be obtained from analysis of the state space. Simple examples of D-timed and M-timed nets are used as an illustration of the proposed approach
Keywords :
Petri nets; performance evaluation; D-timed nets; M-timed nets; firing times; net models; operational analysis; reachability analysis; state space; structural properties; throughput; timed Petri nets; Computer science; Information analysis; Inhibitors; Petri nets; Protocols; State-space methods; Steady-state; Stochastic processes; Throughput; Timing;
Conference_Titel :
Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-0510-8
DOI :
10.1109/MWSCAS.1992.271058
