Tian, Y., Zhang, R., Liu, W., & Du, Y. (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