In: IFORS Symposium, Vol. 2 / Geering, H.P.; Mansour, M.: Large Scale Systems: Theory and Applications 1986. Selected Papers from the 4th IFAC, pages 583-588. Oxford: Pergamon Press, 1987.
Abstract: To model the discrete-event evolution of the system, a class of modified Petri nets (MPN) is defined and a procedure is presented for synthesizing the net model from simple activity cycles for each resource. New results in Petri net theory are presented which guarantee the absence of system deadlocks and proper resource allocation for the MPN models.