| 書目名稱 | Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets |
| 編輯 | Christoph Brandau |
| 視頻video | http://file.papertrans.cn/637/636440/636440.mp4 |
| 概述 | Vom Petri-Netz-Modell zur fertigen Hardwarebeschreibung |
| 圖書封面 |  |
| 描述 | .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.. |
| 出版日期 | Book 2019 |
| 關鍵詞 | Digital Circuit Petri Nets; Schaltungsentwurf; Systementwicklung; Schaltungsverifikation; Schaltungssimu |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-658-25244-1 |
| isbn_softcover | 978-3-658-25243-4 |
| isbn_ebook | 978-3-658-25244-1 |
| copyright | Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-6 21:48
發(fā)表于 2025-3-21 18:05:05
