In: Isermann, R.: Automatic Control - World Congress, 1987. Selected Papers from the 10th Triennial World Congress of the International Federation of Automatic Control, Vol. VII, pages 263-267. Pergamon, Oxford, UK, 1988.
Abstract: The paper shows how Petri-nets can be used for the design of complex control systems. Particular emphasis is laid on the investigation of specific requirements of the system for which computer-aided tools are presented.