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 1, 2026. http://147.213.75.17/ojs/index.php/cai/article/view/7903.