Concurrent bisimulations in Petri nets
Acta Informatica
Branching processes of Petri nets
Acta Informatica
An Improvement of McMillan's Unfolding Algorithm
Formal Methods in System Design
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Rediscovering workflow models from event-based data using little thumb
Integrated Computer-Aided Engineering
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
The refined process structure tree
Data & Knowledge Engineering
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language
Transactions on Petri Nets and Other Models of Concurrency III
Fuzzy mining: adaptive process simplification based on multi-perspective metrics
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Mining process models with prime invisible tasks
Data & Knowledge Engineering
A fresh look at precision in process conformance
BPM'10 Proceedings of the 8th international conference on Business process management
Trace alignment in process mining: opportunities for process diagnostics
BPM'10 Proceedings of the 8th international conference on Business process management
Process mining meets abstract interpretation
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Process Mining: Discovery, Conformance and Enhancement of Business Processes
Simplified computation and generalization of the refined process structure tree
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Causal nets: a modeling language tailored towards process discovery
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Simplifying mined process models: an approach based on unfoldings
BPM'11 Proceedings of the 9th international conference on Business process management
Conformance Checking Using Cost-Based Fitness Analysis
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Structuring acyclic process models
Information Systems
Bridging abstraction layers in process mining by automated matching of events and activities
BPM'13 Proceedings of the 11th international conference on Business Process Management
| Hi-index | 0.00 |
Process models discovered from a process log using process mining tend to be complex and have problems balancing between overfitting and underfitting. An overfitting model allows for too little behavior as it just permits the traces in the log and no other trace. An underfitting model allows for too much behavior as it permits traces that are significantly different from the behavior seen in the log. This paper presents a post-processing approach to simplify discovered process models while controlling the balance between overfitting and underfitting. The discovered process model, expressed in terms of a Petri net, is unfolded into a branching process using the event log. Subsequently, the resulting branching process is folded into a simpler process model capturing the desired behavior.