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-...
| المؤلف الرئيسي: | |
|---|---|
| مؤلفون آخرون: | |
| التنسيق: | أطروحة |
| اللغة: | English |
| الموضوعات: |