Entwurf komplexer Automatisierungssysteme '97 (EKA '97, Braunschweig). Methoden, Anwendungen und Tools auf der Basis von Petrinetzen und anderer formaler Beschreibungsmittel. 5. Fachtagung mit Tutorium. Band I und Band II. 21. bis 23. Mai 1997