Throughput analysis in timed Petri nets

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