An automation tool for model conversion and soundness verification from Robustness Diagrams with Loop and Time Controls to Petri Nets

An automation tool for model conversion and soundness verification from Robustness Diagrams with Loop and Time Controls to Petri Nets

This paper presents the development of an automated tool for converting Robustness Diagrams with Loop and Time Controls (RDLTs) into Petri Nets (PNs). The tool focuses primarily on preserving model correctness, structural fidelity, and soundness throughout the conversion process. We propose a graph-...

Ausführliche Beschreibung

Bibliographische Detailangaben
1. Verfasser: Tongzon, Lyward Manuel S. (VerfasserIn)
Weitere Verfasser: Malinao, Jasmine A. (adviser.)
Format: Abschlussarbeit
Sprache:English
Schlagworte:
Software engineering.