E. Bai, M. Qi, W. Luan, P. Li, and Y. Du, “Repairing Process Models with Non-Free-Choice Constructs Based on Token Replay”, Comput. Inform., vol. 41, no. 4, pp. 1054–1077, Nov. 2022.