Bai, Erjing, et al. “Method for Repairing Process Models With Selection Structures Based on Token Replay”. Computing and Informatics, vol. 40, no. 2, Oct. 2021, pp. 446–468, doi:10.31577/cai_2021_2_446.