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

Open in new window