Theory of linear and integer programming
Theory of linear and integer programming
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
The synthesis problem of Petri nets
Acta Informatica
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
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
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Resource-Constrained Workflow Nets
Fundamenta Informaticae
Conformance checking of processes based on monitoring real behavior
Information Systems
Process Discovery Using Integer Linear Programming
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
An improved simulated annealing algorithm for process mining
CSCWD '09 Proceedings of the 2009 13th International Conference on Computer Supported Cooperative Work in Design
Genet: A Tool for the Synthesis and Mining of Petri Nets
ACSD '09 Proceedings of the 2009 Ninth International Conference on Application of Concurrency to System Design
New Region-Based Algorithms for Deriving Bounded Petri Nets
IEEE Transactions on Computers
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
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
Detecting implicit dependencies between tasks from event logs
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Instance deadlock: a mystery behind frozen programs
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
| Hi-index | 0.00 |
A central problem in the area of Process Mining is to obtain a formal model that represents selected behavior of a system. The theory of regions has been applied to address this problem, enabling the derivation of a Petri net whose language includes a set of traces. However, when dealing with real-life systems, the available tool support for performing such a task is unsatisfactory, due to the complex algorithms that are required. In this paper, the theory of regions is revisited to devise a novel technique that explores the space of regions by combining the elements of a region basis. Due to its light space requirements, the approach can represent an important step for bridging the gap between the theory of regions and its industrial application. Experimental results show that there is improvement in orders of magnitude in comparison with state-of-the-art tools for the same task.