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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριοι συγγραφείς:	Mangi Fawad Ali, Su Guoxin, Zhang Minjie
Μορφή:	Artigo
Γλώσσα:	Inglês
Έκδοση:	EDP Sciences 2024-01-01
Σειρά:	ITM Web of Conferences
Θέματα:	formal verification probabilistic model checking process mining process models quantitative model checking statistical model checking stochastic systems
Διαθέσιμο Online:	https://www.itm-conferences.org/articles/itmconf/pdf/2024/03/itmconf_aiss2024_00012.pdf
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!