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