"Statistical Model Checking in Process Mining: A Comprehensive Approach" by Fawad Ali Mangi, Guoxin Su et al.
The study of business process analysis and optimisation has attracted significant scholarly interest in the recent past, due to its integral role in boosting organisational performance. A specific area of focus within this broader research field is process mining (PM). Its purpose is to extract knowledge and insights from event logs maintained by information systems, thereby discovering process models and identifying process-related issues. On the other hand, statistical model checking (SMC) is ...
Formal Verification Model Checking Process Discovery Process Mining Eplay Algorithm Tatistical Model Checking
Source: uow.edu.au