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 ...
Read More
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.
Read Less
Add this copy of Modellierung Und Transformation Digitaler Schaltungen to cart. $56.35, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2019 by Springer Vieweg.
