In: Wissenschaftliche Beiträge zur Informatik, Informatik-Zentrum an der TU Dresden, Heft 1, pages 15-23. 1987. In German.
Abstract: Der rechnergestützte Entwurf digitaler Systeme erfordert die Verfügbarkeit von Modellen, die das Klemmverhalten der Entwurfsbausteine in jeder Entwurfsebene hinreichend genau widerspiegeln. Anhand des Beispiels der Modellierung des CPU-Schaltkreises U 880 wird gezeigt, daÑ bei sehr komplexen Entwurfsbausteinen Petrinetze ein geeignets Hilfsmittel zur Beschreibung komplexer Abläufe sind.