Bai, Erjing, Man Qi, Wenjing Luan, Peng Li, and Yuyue Du. 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.