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...
| 主要作者: | |
|---|---|
| 其他作者: | |
| 格式: | Thesis |
| 語言: | English |
| 主題: |