![Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets](https://support.digitalhusky.com/media/annotations/sorted/296/29654822/CHSBZCOP0329654822.jpg)
Modellierung und Transformation digitaler Schaltungen mit...
Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgängen, die Einführung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des ...