In: Proc. IEEE Int. Symposium on Circuits and Systems (ISCAS'93), Chicago, IL, pages 2721-2724. 1993.
Abstract: It is shown that the steady--state behavior of a class of timed colored Petri nets can be analyzed using the concept of throughput and simple rules of operational analysis. Since such analysis is based on the average values of firing times rather than firing time distribution functions, the same approach ca 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 it can be used for analysis of unbounded nets.
Keywords: colored Petri nets, throughput analysis, timed Petri nets.