Theory of linear and integer programming
Theory of linear and integer programming
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Polynomial Algorithms for the Synthesis of Bounded Nets
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Deriving Unbounded Petri Nets from Formal Languages
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Synthesis of Petri Nets from Finite Partial Languages
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
How to synthesize nets from languages: a survey
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Assessing State Spaces Using Petri-Net Synthesis and Attribute-Based Visualization
Transactions on Petri Nets and Other Models of Concurrency I
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Information Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Process Mining: Overview and Outlook of Petri Net Discovery Algorithms
Transactions on Petri Nets and Other Models of Concurrency II
Construction of Process Models from Example Runs
Transactions on Petri Nets and Other Models of Concurrency II
Divide-and-Conquer Strategies for Process Mining
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
A fresh look at precision in process conformance
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
Rbminer: a tool for discovering Petri nets from transition systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Simplifying mined process models: an approach based on unfoldings
BPM'11 Proceedings of the 9th international conference on Business process management
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Process mining from a basis of state regions
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Process Mining: Overview and Opportunities
ACM Transactions on Management Information Systems (TMIS)
Modeling and mining of learnflows
Transactions on Petri Nets and Other Models of Concurrency V
Transactions on Petri Nets and Other Models of Concurrency V
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Process Discovery using Integer Linear Programming
Fundamenta Informaticae - Petri Nets 2008
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
An SMT-Based discovery algorithm for c-nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Decomposing process mining problems using passages
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Simplifying discovered process models in a controlled manner
Information Systems
On the exploitation of process mining for security audits: the process discovery case
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Discovering block-structured process models from event logs - a constructive approach
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.00 |
In this paper we give an overview, how to apply region based methodsfor the synthesis of Petri nets from languages to process mining. The research domain of process mining aims at constructing a process modelfrom an event log, such that the process model can reproduce the log, and doesnot allow for much more behaviour than shown in the log. We here considerPetri nets to represent process models. Event logs can be interpreted as finite languages.Region based synthesis methods can be used to construct a Petri net froma language generating the minimal net behaviour including the given language.Therefore, it seems natural to apply such methods in the process mining domain.There are several different region based methods in literature yielding differentPetri nets. We adapt these methods to the process mining domain and comparethem concerning efficiency and usefulness of the resulting Petri net.