Tian, Y.; Zhang, R.; Liu, W.; Du, Y. Petri Net-Based Deviation Detection Between Event Logs and Process Models With Milestones. Comput. Inform. 2026, 45, 1017–1044.