Tian, Yinhua, Ruizhe Zhang, Wen Liu, and Yuyue Du. “Petri Net-Based Deviation Detection Between Event Logs and Process Models With Milestones”. Computing and Informatics 45, no. 4 (August 31, 2026). Accessed September 6, 2026. https://www.cai.sk/ojs/index.php/cai/article/view/7903.