"Integrating Process Mining with Probabilistic Model Checking via Conti" by Fawad Ali Mangi, Guoxin Su et al.
Process mining represents a methodological approach that facilitates the in-depth analysis of business operations with the aim of revealing significant insights pertaining to their efficacy, efficiency, and regulatory compliance. In a seamless business setting, it's essential to evaluate, refine, and confirm these process models. Traditional methods for checking these models excel in validating their accuracy but cannot handle the inherent probabilistic and real-time behavior of these models. To address this, our research paper presents a new methodology that enhances probabilistic model ...
Source: uow.edu.au