Strukturen und Werkzeuge für eine durch das Anlagenpersonal modifizierbare und ergänzbare Petrinetzanlagensteuerung: automatische Generierung übersichtlicher Petrinetze und optimaler Abläufe durch Aufspaltung in eine vom Systemingenieur zu implementierende Anlagenbeschreibung und eine vom Facharbeiter vorgebbare Anlagennutzung. - Bernd Strege (1996)