In: Bulletin Schweizerischer Elektrotechnischer Verein, Vol. 79, No. 17, pages 1035-1040. 1988.
Abstract: Petri-Netze können als Entwurfs- und Spezifikationsmodell sowie als Simulationswerkzeug für Leistungsuntersuchungen verwendet werden. In diesem Bericht wird ein Werkzeug beschrieben, das das graphische Editieren, das Simulieren und das automatische Erzeugen eines C-Programmes von erweiterten Petri-Netzen unterstützt.