Brandau | Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets | Buch | 978-3-658-25243-4 | sack.de

Buch, Deutsch, 281 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 411 g

Brandau

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets


Buch, Deutsch, 281 Seiten, Format (B × H): 148 mm x 210 mm, Gewicht: 411 g

ISBN: 978-3-658-25243-4
Verlag: Springer

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.
Brandau Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Brandau, Christoph

Fachgebiete

Weitere Infos & Material

Schaltungsgenerierung.- Exemplarische Petri-Netze.- Bibliothekselemente.- Modellierungsregeln.

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.