Well-Handledness in Robustness Diagram with Loop and Time Controls. - Therese Nuelle Roca; Jasmine A. Malinao (ITS (2), 2024)

Model Decomposition of Multi-dimensional Workflows to Petri Nets for Well-Handledness Verification. - Therese Nuelle Roca; Jasmine A. Malinao (ITS (2), 2025)