Title :
Throughput analysis in timed colored 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 colored Petri nets can be analyzed by using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average value of firing times rather than firing time distribution functions, the same approach can be applied to a variety of net models. Throughput analysis is based on structural properties of nets only, so it avoids the potential complexity of reachability analysis, and can be used for analysis of unbounded nets
Keywords :
Petri nets; graph colouring; average value; firing times; net models; operational analysis; steady-state behavior; structural properties; throughput; timed colored Petri nets; unbounded nets; Computer science; Distribution functions; Frequency; Packaging; Petri nets; Reachability analysis; State-space methods; Steady-state; Throughput; Timing;
Conference_Titel :
Circuits and Systems, 1993., ISCAS '93, 1993 IEEE International Symposium on
Conference_Location :
Chicago, IL
Print_ISBN :
0-7803-1281-3
DOI :
10.1109/ISCAS.1993.394329
