Tian, Yinhua, Ruizhe Zhang, Wen Liu, and Yuyue Du. 2026. “Petri Net-Based Deviation Detection Between Event Logs and Process Models With Milestones”. Computing and Informatics 45 (4):1017–1044. https://doi.org/10.31577/cai_2026_4_1017.