Bai, E.; Qi, M.; Luan, W.; Li, P.; Du, Y. Repairing Process Models With Non-Free-Choice Constructs Based on Token Replay. Comput. Inform. 2022, 41, 1054–1077.