Bai, Erjing, Man Qi, Wenjing Luan, Peng Li, and Yuyue Du. “Repairing Process Models With Non-Free-Choice Constructs Based on Token Replay”. COMPUTING AND INFORMATICS 41, no. 4 (November 9, 2022): 1054–1077. Accessed July 18, 2024. https://www.cai.sk/ojs/index.php/cai/article/view/2022_4_1054.