Advancing verification of process mining models with quantitative model checking in stochastic environment
The study of business process analysis and optimization has attracted significant scholarly interest in the recent past, due to its integral role in boosting organizational performance. A specific area of focus within this broader research field is Process Mining (PM). Its purpose is to extract know...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
EDP Sciences
2024-01-01
|
| Series: | ITM Web of Conferences |
| Subjects: | |
| Online Access: | https://www.itm-conferences.org/articles/itmconf/pdf/2024/03/itmconf_aiss2024_00012.pdf |