In: Philippi, Stephan: Fachberichte Informatik, No. 7-2000: 7. Workshop Algorithmen und Werkzeuge für Petrinetze, 2.-3. Oktober 2000, Koblenz, Germany, pages 25-38. Universität Koblenz-Landau, Institut für Informatik, October 2000.
Abstract: In diesem Beitrag wird eine Methode zur Modellierung und Analyse digitaler Systeme mit interpretierten Petrinetzen vorgestellt. Der Ansatz ist Teil eines Hardwareentwurfssystems und kann augehend vom petrinetz-basierten Entwurf digitaler Steuereinheiten auf den Entwurf vollständiger Rechnersysteme und eingebetteter Systeme erweitert werden.