In: Troch, I.; Kopacek, P.; Breitenecker, F.: Simulation of Control Systems. Selected Papers from the IFAC Symposium, pages 93-98. Oxford: Pergamon Press, 1987.
Abstract: This paper deals with a Petri net approach to the automatic design of control programs supervising concurrent, pipeline-like flowing processes. Its objective lies in the formal statement of the conditions sufficient for the design of a class of net models reflecting all admissible controls of process flow.