TIAN, Yinhua; ZHANG, Ruizhe; LIU, Wen; DU, Yuyue. Petri Net-Based Deviation Detection Between Event Logs and Process Models with Milestones. Computing and Informatics, [S. l.], v. 45, n. 4, 2026. Disponível em: https://www.cai.sk/ojs/index.php/cai/article/view/7903. Acesso em: 6 sep. 2026.