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

Ausführliche Beschreibung

Bibliographische Detailangaben
1. Verfasser: Flores, Angelo Louis A. (VerfasserIn)
Weitere Verfasser: Malinao, Jasmine A. (adviser.)
Format: Abschlussarbeit
Sprache:English
Schlagworte:
Software engineering.