Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay. - Bai, Erjing; Qi, Man; Luan, Wenjing; Li, Peng; Du, Yuyue (Comput. Informatics, 2022)