Authors:
- Vom Petri-Netz-Modell zur fertigen Hardwarebeschreibung
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (7 chapters)
-
Front Matter
-
Back Matter
About this book
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.
Authors and Affiliations
-
Fakultät für Elektrotechnik, Informationstechnik und Medientechnik, Bergische Universität Wuppertal, Wuppertal, Germany
Christoph Brandau
About the author
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.
Bibliographic Information
Book Title: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Authors: Christoph Brandau
DOI: https://doi.org/10.1007/978-3-658-25244-1
Publisher: Springer Vieweg Wiesbaden
eBook Packages: Computer Science and Engineering (German Language)
Copyright Information: Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019
Softcover ISBN: 978-3-658-25243-4Published: 29 January 2019
eBook ISBN: 978-3-658-25244-1Published: 17 January 2019
Edition Number: 1
Number of Pages: XXXI, 281
Number of Illustrations: 1 b/w illustrations
Topics: Logic Design, Circuits and Systems, Computer Engineering