Throughput analysis of simple closed timed Petri net models
W.M. Zuberek · 2002
It is shown that for some classes of closed timed Petri net models the steady-state behavior can be determined on the basis of structural properties only (i.e., without reachability analysis), using the concept of throughput and simple rules of operational analysis. Throughput analysis is based on the average values of firing times rather than firing time distribution functions, so the same approach can be used for a variety of net models. Bounded as well as unbounded (but ergodic) net models can be analyzed by the proposed approach.>