Entwurf komplexer Automatisierungssysteme. Methoden, Anwendungen und Tools auf der Basis von Petri-Netzen und anderer formaler Beschreibungsmittel. 3. Fachtagung, 13. und 14. Mai 1993 in Braunschweig