Modellierung Und Transformation Digitaler Schaltungen Mittels Digital Circuit Petri Nets [German]

By Christoph Brandau

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 gesamten formalisierten Transformationsprozesses von der Modellierung bis zur endg ltigen Hardwarebeschreibung. Die Aufteilung in Schritte und Strategien erm glicht eine Erweiterung des Prozesses. Des Weiteren erl utert der Autor das Tool Logical PetriNet, in dem der gesamte Ablauf der Schaltungsgenerierung abgebildet ist und zus tzliche Funktionen zur Validierung des Prozesses implementiert sind.

Der Autor:

Christoph Brandau studierte Informationstechnologie an derBergischen Universit t Wuppertal. Er ist wissenschaftlicher Mitarbeiter am Lehrstuhl f r Automatisierungstechnik/Informatik, wo er auch promovierte. Er h lt au erdem die Vorlesung ber Grundz ge der Informatik, Programmierung in C.

• Format: Paperback
• Language: German
• ISBN: 365825243X
• ISBN13: 9783658252434
• Release Date: January 2019
• Publisher: Springer Vieweg
• Length: 281 Pages
• Weight: 0.83 lbs.
• Dimensions: 0.7" x 5.8" x 8.3"