Bai, E.; Su, N.; Liang, Y.; Qi, L.; Du, Y. Method for Repairing Process Models With Selection Structures Based on Token Replay. Comput. Inform. 2021, 40, 446–468.