A matrix-based conversion of Robustness Diagrams with Loop and Time Controls to Petri Nets with abstract arcs handling

A matrix-based conversion of Robustness Diagrams with Loop and Time Controls to Petri Nets with abstract arcs handling

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

Full description

Bibliographic Details
Main Author: Flores, Angelo Louis A. (Author)
Other Authors: Malinao, Jasmine A. (adviser.)
Format: Thesis
Language:English
Subjects:
Software engineering > Philippines > Region 8.