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

Täydet tiedot

Bibliografiset tiedot
Päätekijä: Tongzon, Lyward Manuel S. (Tekijä)
Muut tekijät: Malinao, Jasmine A. (adviser.)
Aineistotyyppi: Opinnäyte
Kieli:English
Aiheet:
Software engineering.