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-...

Full description

Bibliographic Details
Main Author: Tongzon, Lyward Manuel S. (Author)
Other Authors: Malinao, Jasmine A. (adviser.)
Format: Thesis
Language:English
Subjects:
Software engineering.