@article{article97c517c6,
title   = {Alignment-based conformance checking for stochastic Petri nets},
author = {Almeida, Matheus Pereira de and Delgado, Karina Valdivia and Peres, Sarajane Marques and Fantinato, Marcelo},
year = {2025},
doi = {10.1007/s13218-024-00879-0},
journal   = {Künstliche Intelligenz}
}