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).