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 eingefuhrte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile der Studie sind die Definition der Digital Circuit Petri Nets inklusive der Beschreibung von Ein- und Ausgangen, die Einfuhrung von Subnetzen zur Unterteilung und Wiederverwendung von modellierten Netzen und eine Beschreibung des gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endgultigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien ermoeglicht eine Erweiterung des Prozesses. Des Weiteren erlautert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zusatzliche Funktionen zur Validierung des Prozesses implementiert sind.Der Autor: Christoph Brandau studierte Informationstechnologie an der Bergischen Universitat Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl fur Automatisierungstechnik/Informatik, wo er auch promovierte. Er halt ausserdem die Vorlesung uber Grundzuge der Informatik, Programmierung in C.