Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
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 Hauptbestandteil
- PDF / 2,703,706 Bytes
- 301 Pages / 419.528 x 595.276 pts Page_size
- 41 Downloads / 220 Views
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Christoph Brandau
Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets Mit einem Geleitwort von Prof. Dr.-Ing. Dietmar Tutsch
Christoph Brandau Fakultät für Elektrotechnik Informationstechnik und Medientechnik Bergische Universität Wuppertal Wuppertal, Deutschland Zugl.: Dissertation, Bergische Universität Wuppertal, 2018
ISBN 978-3-658-25243-4 ISBN 978-3-658-25244-1 (eBook) https://doi.org/10.1007/978-3-658-25244-1 Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen National bibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar. Springer Vieweg © Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019 Das Werk einschließlich aller seiner Teile ist urheberrechtlich geschützt. Jede Verwertung, die nicht ausdrücklich vom Urheberrechtsgesetz zugelassen ist, bedarf der vorherigen Zustimmung des Verlags. Das gilt insbesondere für Vervielfältigungen, Bearbeitungen, Übersetzungen, Mikroverfilmungen und die Einspeicherung und Verarbeitung in elektronischen Systemen. Die Wiedergabe von Gebrauchsnamen, Handelsnamen, Warenbezeichnungen usw. in diesem Werk berechtigt auch ohne besondere Kennzeichnung nicht zu der Annahme, dass solche Namen im Sinne der Warenzeichen- und Markenschutz-Gesetzgebung als frei zu betrachten wären und daher von jedermann benutzt werden dürften. Der Verlag, die Autoren und die Herausgeber gehen davon aus, dass die Angaben und Informa tionen in diesem Werk zum Zeitpunkt der Veröffentlichung vollständig und korrekt sind. Weder der Verlag, noch die Autoren oder die Herausgeber übernehmen, ausdrücklich oder implizit, Gewähr für den Inhalt des Werkes, etwaige Fehler oder Äußerungen. Der Verlag bleibt im Hinblick auf geografische Zuordnungen und Gebietsbezeichnungen in veröffentlichten Karten und Institutionsadressen neutral. Springer Vieweg ist ein Imprint der eingetragenen Gesellschaft Springer Fachmedien Wiesbaden GmbH und ist ein Teil von Springer Nature Die Anschrift der Gesellschaft ist: Abraham-Lincoln-Str. 46, 65189 Wiesbaden, Germany
f¨ ur Jenny
Geleitwort Seit der Vorstellung der sogenannten Petri-Netze durch Carl Adam Petri zur Modellierung von Nebenl¨aufigkeit im Jahr 1962 wurde diese Art der Stellen-Transitions-Netze kontinuierlich zur Steigerung des Modellierkomforts aber auch der Modellierm¨achtigkeit erweitert. Neben der Einf¨ uhrung von zeitbehafteten und stochastischen Petri-Netzen waren dies auch High-LevelPetri-Netze mit ihren teils objektorientierten Strukturen. Waren zu Beginn haupts¨achlich die Abl¨aufe bei technischen Prozessen und Computersystemen im Fokus der Modellierung, so dehnte sich der Anwendungsbereich sp¨ ater auch auf davon weiter entfernte Themen wie Prozesse in der Gesch¨ aftswelt aus. In Konsequenz wurde ein auf Petri-Netze basierendes Konzept auch f¨ ur die Uni
Data Loading...
