Bai, E., N. Su, Y. Liang, L. Qi, and Y. Du. “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.