Bai, E., Qi, M., Luan, W., Li, P., & Du, Y. (2022). Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay. COMPUTING AND INFORMATICS, 41(4), 1054–1077. https://doi.org/10.31577/cai_2022_4_1054