"PM2PMC: A Probabilistic Model Checking Approach in Process Mining" by Fawad Ali Mangi, Guoxin Su et al.
The field of process mining is experiencing rapid growth, utilizing data science techniques to analyze business processes and uncover insights about their performance, efficiency, and compliance. The process mining approach begins with process discovery, which involves creating process models based on event logs; and depending on the type of models discovered, the correctness of models needs to be guaranteed. Traditional model checking methods are good approaches to verify the correctness of process models, but those methods cannot model the probabilistic nature of the discovered process model...
Source: uow.edu.au