2023
DOI: 10.3390/fi15120378
|View full text |Cite
|
Sign up to set email alerts
|

Statistical Model Checking in Process Mining: A Comprehensive Approach to Analyse Stochastic Processes

Fawad Ali Mangi,
Guoxin Su,
Minjie Zhang

Abstract: 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 a verification … Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

0
0
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
references
References 54 publications
(70 reference statements)
0
0
0
Order By: Relevance