Matheus Pereira de Almeida, Karina Valdivia Delgado, Sarajane Marques Peres, Marcelo Fantinato: Alignment-based conformance checking for stochastic Petri nets. Künstliche Intell. 39(3): 239-258 (2025)