Bai, Erjing, et al. “Repairing Process Models With Non-Free-Choice Constructs Based on Token Replay”. Computing and Informatics, vol. 41, no. 4, Nov. 2022, pp. 1054–1077, doi:10.31577/cai_2022_4_1054.