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.