Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets (eBook)
XXXI, 281 Seiten
Springer Fachmedien Wiesbaden (Verlag)
978-3-658-25244-1 (ISBN)
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 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.
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.
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.
Schaltungsgenerierung.- Exemplarische Petri-Netze.- Bibliothekselemente.- Modellierungsregeln.
Erscheint lt. Verlag | 17.1.2019 |
---|---|
Zusatzinfo | XXXI, 281 S. 1 Abb. |
Verlagsort | Wiesbaden |
Sprache | deutsch |
Themenwelt | Mathematik / Informatik ► Informatik |
Technik ► Elektrotechnik / Energietechnik | |
Schlagworte | Digital Circuit Petri Nets • Formalisierte Transformation • Netzoptimierung • Petri-Netz Analyse • Petri-Netz Simulation • Schaltungsanalyse • Schaltungsentwurf • Schaltungssimulation • Schaltungsverifikation • Synthese digitaler Schaltungen • Systementwicklung • Tool Logical PetriNet |
ISBN-10 | 3-658-25244-8 / 3658252448 |
ISBN-13 | 978-3-658-25244-1 / 9783658252441 |
Haben Sie eine Frage zum Produkt? |
Größe: 2,8 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich