Throughput analysis in timed colored Petri nets

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.