Read Online Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets German Edition Christoph Brandau 9783658252434 Books

Download As PDF : Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets German Edition Christoph Brandau 9783658252434 Books

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.

Read Online Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets German Edition Christoph Brandau 9783658252434 Books

""

Product details Paperback 281 pages Publisher Springer Vieweg; 1. Aufl. 2019 edition (January 18, 2019) Language German ISBN-10 365825243X

Tags : Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets (German Edition) [Christoph Brandau] on . 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,Christoph Brandau,Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets (German Edition),Springer Vieweg,365825243X,Computer science,Logic design,Systems engineering,C,COMPUTER,COMPUTERS / Computer Engineering,COMPUTERS / Logic Design,Circuits components,Circuits and Systems,Computer Engineering,Computer architecture logic design,Computer/General,Computers/Computer Engineering,Digital Circuit Petri Nets; Schaltungsentwurf; Systementwicklung; Schaltungsverifikation; Schaltungssimulation; Synthese digitaler Schaltungen; Schaltungsanalyse; Tool Logical PetriNet; Formalisierte Transformation; Netzoptimierung; Petri-Netz Analyse; Petri-Netz Simulation,Digital Circuit Petri Nets;Schaltungsentwurf;Systementwicklung;Schaltungsverifikation;Schaltungssimulation;Synthese digitaler Schaltungen;Schaltungsanalyse;Tool Logical PetriNet;Formalisierte Transformation;Netzoptimierung;Petri-Netz Analyse;Petri-Netz Simulation,Electronics circuits components,Germany,Informatik, EDV / Informatik,Non-Fiction,TECHNOLOGY ENGINEERING / Electronics / Circuits / General,Technology Engineering/Electronics - Circuits - General

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets German Edition Christoph Brandau 9783658252434 Books Reviews :

~