Skip to content

Model Decomposition of Multi-dimensional Workflows to Petri Nets for Well-Handledness Verification.

Therese Nuelle Roca, Jasmine A. Malinao

VenueBITS
Year2025
ProceedingsITS (2)

Browse the full ITS paper archive.