Zusammenfassung
Zur Verifikation und Validierung der in dieser Arbeit vorgestellten Verfahren zur Transformation von DCPN in digitale Schaltungen ist das Programm Logical PetriNet entwickelt und implementiert worden, um die vorgestellten Methoden auch an nicht trivialen Netzen zu testen und zu verifizieren. Zur einheitlicheren Modellierung von DCPN sind in diesem Kapitel ebenfalls einige Regeln zur Modellierung aufgestellt worden, die zusätzlich bei der Fehlersuche und Fehlervermeidung helfen können. Es folgt eine Vorstellung der Funktionalität des Programms und die Validierung und Transformation wird an einigen Petri-Netzen präsentiert.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2019 Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature
About this chapter
Cite this chapter
Brandau, C. (2019). Implementierung und Validierung. In: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets. Springer Vieweg, Wiesbaden. https://doi.org/10.1007/978-3-658-25244-1_5
Download citation
DOI: https://doi.org/10.1007/978-3-658-25244-1_5
Published:
Publisher Name: Springer Vieweg, Wiesbaden
Print ISBN: 978-3-658-25243-4
Online ISBN: 978-3-658-25244-1
eBook Packages: Computer Science and Engineering (German Language)