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

ver descrição completa

Detalhes bibliográficos
Autor principal: Flores, Angelo Louis A. (Author)
Outros Autores: Malinao, Jasmine A. (adviser.)
Formato: Thesis
Idioma:English
Assuntos:
Software engineering.