Y. Tian, R. Zhang, W. Liu, and Y. Du, “Petri Net-Based Deviation Detection Between Event Logs and Process Models with Milestones”, Comput. Inform., vol. 45, no. 4, Aug. 2026.