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

Mô tả đầy đủ

Chi tiết về thư mục

Tác giả chính:	Tongzon, Lyward Manuel S. (Tác giả)
Tác giả khác:	Malinao, Jasmine A. (adviser.)
Định dạng:	Luận văn
Ngôn ngữ:	English
Những chủ đề:	Software engineering.