2019 | OriginalPaper | Chapter
Implementierung und Validierung
Author : Christoph Brandau
Published in: Modellierung und Transformation digitaler Schaltungen mittels Digital Circuit Petri Nets
Publisher: Springer Fachmedien Wiesbaden
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.