In: 33. internationales wissenschaftliches Kolloquium: Mathematische Optimierung, Theorie und Anwendungen, 1988, Ilmenau, DDR, pages 183-186. 1988.
Abstract: Vorgestellt wird ein Programmsystem für den Entwurf kleiner Steuereinheiten auf der Basis von Mikroprozessoren. Zur Beschreibung der Funktionen sind Petri-Netze verwendet, die in die Finite State Machine-Beschreibung transformiert werden. Während des Entwurfs werden laufend Prüfungen der Netze und der Steueroptimierung durchgeführt.