Tian, Y. et al. 2026. Petri Net-Based Deviation Detection Between Event Logs and Process Models with Milestones. Computing and Informatics. 45, 4 (Aug. 2026), 1017–1044. DOI:https://doi.org/10.31577/cai_2026_4_1017.