Advertisement

Implementierung und Validierung

  • Christoph BrandauEmail author
Chapter

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Fachmedien Wiesbaden GmbH, ein Teil von Springer Nature 2019

Authors and Affiliations

  1. 1.Fakultät für Elektrotechnik, Informationstechnik und MedientechnikBergische Universität WuppertalWuppertalDeutschland

Personalised recommendations