In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 281-305. Berlin, Germany: Springer-Verlag, 1990.
Abstract: The paper studies the periodic functioning of deterministic timed Petri Nets for generalized nets. From the formulation of the average marking in steady-state, the author first establishes a set of necessary conditions between the initial marking, the firing times and frequencies of transitions, the dates of first firing occurrences and the minimal delays of tokens at places. These conditions are shown to provide a lower bound to the cycle time, using the minimal S-invariants. A modelling of multi-stage production systems is further developed, and the results obtained are used to conduct a performance evaluation of the system.
Keywords: timed net; multi-stage production system; cycle time; minimal S-invariant; performance evaluation.