00000ntmaa22000001i 4500 UP-8027390931312009543 Buklod 20260212154140.0 m|||||o||d|||||||| cr ||||||||||| 260212s2025 xx a b ||| u eng UPVT-00020035089 UPTC rda eng LG 993.5 2025 C66 F46 Flores, Angelo Louis A. author. A matrix-based conversion of Robustness Diagrams with Loop and Time Controls to Petri Nets with abstract arcs handling Angelo Louis A. Flores ; Jasmine A. Malinao, adviser. Tacloban City Division of Natural Sciences and Mathematics, University of the Philippines Tacloban College 2025. xiv, 178 leaves illustrations 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 the author/adviser-NO. Available only for those bound by confidentiality agreement-NO. Robustness Diagrams with Loop and Time Controls (RDLTS) effectively model complex workflows but converting them to Petri Nets (PNs) for automated, matrix-based analysis is challenging, particularly when handling Reset-Bound Subsystems (RBS) and multiple abstract arcs. This research presents a formal, matrix-based algorithm to directly convert the matrix representation of an RDLT into the corresponding matrices and initial marking of an equivalent Reset Workflow Net (RWF-Net). The algorithm systematically processes RDLT structural and attribute matrices using matrix operations to determine the necessary PN components and connections. It specifically addresses the mapping of the two cases for handling SPLIT points and provides a method for handling multiple parallel abstract arcs. The preservation of Weak and Easy Soundness properties during this matrix-based conversion is also investigated. Software engineering. Malinao, Jasmine A. adviser. Thesis FI UP UPTAC UPTAC LG 993.5 2025 C66 F46 Thesis