Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory

Anna A. Kalenkova, Josep Carmona 0001, Artem Polyvyanyy, Marcello La Rosa. Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory. Fundamenta Informaticae, 183(3-4):293-317, 2021. [doi]

Abstract

Abstract is missing.