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

Szczegółowa specyfikacja

Opis bibliograficzny

Główni autorzy:	Mangi Fawad Ali, Su Guoxin, Zhang Minjie
Format:	Artigo
Język:	Inglês
Wydane:	EDP Sciences 2024-01-01
Seria:	ITM Web of Conferences
Hasła przedmiotowe:	formal verification probabilistic model checking process mining process models quantitative model checking statistical model checking stochastic systems
Dostęp online:	https://www.itm-conferences.org/articles/itmconf/pdf/2024/03/itmconf_aiss2024_00012.pdf
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!