Save today: Get 40% off Social Science print books or $30 off eBooks in Engineering & Energy!

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

Authors: Brandau, Christoph

Free Preview
  • Vom Petri-Netz-Modell zur fertigen Hardwarebeschreibung

Buy this book

eBook 42,99 €
price for Spain (gross)
  • ISBN 978-3-658-25244-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 53,45 €
price for Spain (gross)
  • ISBN 978-3-658-25243-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 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.

About the authors

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.

Table of contents (7 chapters)

Table of contents (7 chapters)

Buy this book

eBook 42,99 €
price for Spain (gross)
  • ISBN 978-3-658-25244-1
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 53,45 €
price for Spain (gross)
  • ISBN 978-3-658-25243-4
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Authors
Copyright
2019
Publisher
Springer Vieweg
Copyright Holder
Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
eBook ISBN
978-3-658-25244-1
DOI
10.1007/978-3-658-25244-1
Softcover ISBN
978-3-658-25243-4
Edition Number
1
Number of Pages
XXXI, 281
Number of Illustrations
1 b/w illustrations
Topics