An Automation Tool for Model Conversion and Soundness Verification from Robustness Diagrams with Loop and Time Controls to Petri Nets

Lecture notes in networks and systems 2026

View at publisher
Authors: Lyward Manuel S. Tongzon, Jasmine A. Malinao
DOI: 10.1007/978-3-032-10827-2_9
Cited by: 0
References: 9

Fields of Study & Subjects

Business Process Modeling and Analysis Petri Nets in System Modeling Simulation Techniques and Applications

Publication details

Journal / source
Lecture notes in networks and systems
Pages
104–126
Publication date
1 January 2026
Language
EN