Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

Christoph Brandau entwirft und verifiziert digitale Schaltungen unter der Verwendung von Petri-Netzen. Die Generierung einer Hardwarebeschreibung erfolgt dabei durch eine neu eingefhrte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgngen, die Einfhrung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgltigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermglicht eine Erweiterung des Prozesses. Des Weiteren erlutert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zustzliche Funktionen zur Validierung des Prozesses implementiert sind. Der Autor: Christoph Brandau studierte Informationstechnologie an derBergischen Universitt Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl fr Automatisierungstechnik/Informatik, wo er auch promovierte. Er hlt auerdem die Vorlesung ber Grundzge der Informatik, Programmierung in C.