TY - RPRT TI - Automated Repair of Process Models with Non-Local Constraints Using State-Based Region Theory AU - Anna Kalenkova AU - Josep Carmona AU - Artem Polyvyanyy AU - Marcello La Rosa PY - 2021 UR - https://arxiv.org/abs/2106.15398 ID - 2106.15398 ER -