國立虎尾科技大學 |

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets/ von Christoph Brandau.
作者:	Brandau, Christoph.
面頁冊數:	XXXI, 281 S. 1 Abb.online resource. :
Contained By:	Springer Nature eBook
標題:	Logic design. -
電子資源:	https://doi.org/10.1007/978-3-658-25244-1
ISBN:	9783658252441

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Brandau, Christoph.

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets[electronic resource] /von Christoph Brandau. - 1st ed. 2019. - XXXI, 281 S. 1 Abb.online resource.

Schaltungsgenerierung -- Exemplarische Petri-Netze -- Bibliothekselemente -- Modellierungsregeln.

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.

ISBN: 9783658252441

Standard No.: 10.1007/978-3-658-25244-1doiSubjects--Topical Terms:

561473
Logic design.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 621.395

Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
LDR:02865nam a22003495i 4500 001 1005789
003 DE-He213
005 20200711163304.0
007 cr nn 008mamaa
008 210106s2019 gw | s |||| 0|ger d
020 $a 9783658252441 $9 978-3-658-25244-1
024 7 $a 10.1007/978-3-658-25244-1 $2 doi
035 $a 978-3-658-25244-1
050 4 $a QA76.9.L63
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 621.395 $2 23
100 1 $a Brandau, Christoph. $e author. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1299212
245 1 0 $a Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets $h [electronic resource] / $c von Christoph Brandau.
250 $a 1st ed. 2019.
264 1 $a Wiesbaden : $b Springer Fachmedien Wiesbaden : $b Imprint: Springer Vieweg, $c 2019.
300 $a XXXI, 281 S. 1 Abb. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
505 0 $a Schaltungsgenerierung -- Exemplarische Petri-Netze -- Bibliothekselemente -- Modellierungsregeln.
520 $a 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.
650 0 $a Logic design. $3 561473
650 0 $a Electronic circuits. $3 563332
650 0 $a Computer engineering. $3 569006
650 1 4 $a Logic Design. $3 670915
650 2 4 $a Circuits and Systems. $3 670901
650 2 4 $a Computer Engineering. $3 796158
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783658252434
856 4 0 $u https://doi.org/10.1007/978-3-658-25244-1
912 $a ZDB-2-STI
950 $a Computer Science and Engineering (German Language) (SpringerNature-11774)