Advertisement

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

  • Christoph Brandau

Table of contents

  1. Front Matter
    Pages I-XXXI
  2. Christoph Brandau
    Pages 1-6
  3. Christoph Brandau
    Pages 7-40
  4. Christoph Brandau
    Pages 41-71
  5. Christoph Brandau
    Pages 73-150
  6. Christoph Brandau
    Pages 151-216
  7. Christoph Brandau
    Pages 217-223
  8. Christoph Brandau
    Pages 225-229
  9. Back Matter
    Pages 231-281

About this book

Introduction

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 Inhalt 
  • Schaltungsgenerierung
  • Exemplarische Petri-Netze
  • Bibliothekselemente
  • Modellierungsregeln
Die Zielgruppen 
  • Dozierende und Studierende der Fachgebiete Informatik, Maschinenbau und Elektrotechnik
  • Praktisch Tätige in Forschung und Entwicklung für die Bereiche Schaltungsentwurf, Systementwicklung und -verifizierung und technische Informatik
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.

Keywords

Digital Circuit Petri Nets Schaltungsentwurf Systementwicklung Schaltungsverifikation Schaltungssimulation Synthese digitaler Schaltungen Schaltungsanalyse Tool Logical PetriNet Formalisierte Transformation Netzoptimierung Petri-Netz Analyse Petri-Netz Simulation

Authors and affiliations

  • Christoph Brandau
    • 1
  1. 1.Fakultät für Elektrotechnik, Informationstechnik und MedientechnikBergische Universität WuppertalWuppertalGermany

Bibliographic information