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

Celý popis