00000ntmaa2200000 i 4500 UP-8027390931312009648 Buklod 20260212161535.0 m|||||o||d|||||||| cr ||||||||||| 260212s2025 ph a b ||| u eng UPVT-00020035091 UPTC rda eng LG 993.5 2025 C66 T66 Tongzon, Lyward Manuel S. author. An automation tool for model conversion and soundness verification from Robustness Diagrams with Loop and Time Controls to Petri Nets Lyward Manuel S. Tongzon ; Jasmine A. Malinao, adviser. Tacloban City Division of Natural Sciences and Mathematics, University of the Philippines Tacloban College 2025. xiv, 97 leaves illustrations, some color 31 cm. text rdacontent unmediated rdacontent volume rdacarrier Undergraduate thesis (Bachelor of Science in Computer Science) -- University of the Philippines, Tacloban. Includes bibliographical references. Available to the general public-YES. Available only after consultation with author/adviser-NO. Available only for those bound by confidentiality agreement-NO. 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-based approach for effectively mapping RDLT to PN using an existing algorithm from the literature [1]. This approach ensures that critical properties, such as traversal limits, time constraints, and reset-bound subsystems (RBS), are accurately preserved. The system is equipped with an intuitive Graphical User Interface, allowing users to upload RDLT models, automatically generate the corresponding PNs, and perform soundness verification and firing sequence simulations. The tool's modular design enables efficient handling of various model structures, including split nodes, reset arcs, and abstract edges, en-suring robust conversion for diverse RDLT configurations. A series of comprehensive tests were conducted to evaluate the tool's accuracy, performance, and reliability, with results contirining its capability to produce valid PN models while ensuring soundness preservation. This research makes a significant contribution to the automation of RDLT-to-PN conversion, along with the verification of classical and relaxed soundness preservation. This approach effectively reduces manual effort and mitigates the potential for human error in workflow modeling. Software engineering. Malinao, Jasmine A. adviser. Thesis FI UP UPTAC UPTAC LG 993.5 2025 C66 L33 Thesis