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 eingeführte Transformation des gesamten Petri-Netz-Modells. Die Hauptbestandteile...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
56.53 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets “
Klappentext zu „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 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.
Inhaltsverzeichnis zu „Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets “
Schaltungsgenerierung.- Exemplarische Petri-Netze.- Bibliothekselemente.- Modellierungsregeln.
Autoren-Porträt von Christoph Brandau
Christoph Brandau studierte Informationstechnologie an der Bergischen 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.
Bibliographische Angaben
- Autor: Christoph Brandau
- 2019, 1. Aufl. 2019, XXXI, 281 Seiten, 1 Abbildungen, Maße: 14,8 x 21 cm, Kartoniert (TB), Deutsch
- Verlag: Springer, Berlin
- ISBN-10: 365825243X
- ISBN-13: 9783658252434
- Erscheinungsdatum: 31.01.2019
Kommentar zu "Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets"
Schreiben Sie einen Kommentar zu "Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets".
Kommentar verfassen