In: IFORS Symposium, Vol. 1 / Geering, H.P.; Mansour, M.: Large Scale Systems: Theory and Applications 1986. Selected Papers from the 4th IFAC, pages 99-104. Oxford: Pergamon Press, 1987.
Abstract: The Petri net approach to the automatic synthesis of a control procedure ensuring deadlock-free cooperation of concurrently flowing processes is discussed. Net models of the control flows are derived. The main purpose of the consideration lies in the formal investigation of conditions sufficent for the design of a class of a priori regular and deadlock-free place/transition nets.