Statecharts: A visual formalism for complex systems
Science of Computer Programming
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
The synthesis problem of Petri nets
Acta Informatica
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Deriving Petri Nets from Finite Transition Systems
IEEE Transactions on Computers
Communicating sequential processes
Communications of the ACM
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Modular Construction and Partial Order Semantics of Petri Nets
Modular Construction and Partial Order Semantics of Petri Nets
Protocol Verification as a Hardware Design Aid
ICCD '92 Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors
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
Parameterized Verification of the FLASH Cache Coherence Protocol by Compositional Model Checking
CHARME '01 Proceedings of the 11th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A linear-time heuristic for improving network partitions
DAC '82 Proceedings of the 19th Design Automation Conference
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
A Rule-Based Approach for Process Discovery: Dealing with Noise and Imbalance in Process Logs
Data Mining and Knowledge Discovery
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Finding Structure in Unstructured Processes: The Case for Process Mining
ACSD '07 Proceedings of the Seventh International Conference on Application of Concurrency to System Design
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Component refinement and CSC-solving for STG decomposition
Theoretical Computer Science
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
A Region-Based Algorithm for Discovering Petri Nets from Event Logs
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Synthesis of Petri Nets from Finite Partial Languages
Fundamenta Informaticae - Application of Concurrency to System Design, the Sixth Special Issue
Going with the flow: parameterized verification using message flows
Proceedings of the 2008 International Conference on Formal Methods in Computer-Aided Design
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Divide-and-Conquer Strategies for Process Mining
BPM '09 Proceedings of the 7th International Conference on Business Process Management
New Region-Based Algorithms for Deriving Bounded Petri Nets
IEEE Transactions on Computers
Outlier detection techniques for process mining applications
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Process mining based on regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Process mining based on clustering: a quest for precision
BPM'07 Proceedings of the 2007 international conference on Business process management
Process mining and petri net synthesis
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Discovering process models from event multiset
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
Traces are everywhere from information systems that store their continuous executions, to any type of health care applications that record each patient's history. The transformation of a set of traces into a mathematical model that can be used for a formal reasoning is therefore of great value. The discovery of process models out of traces is an interesting problem that has received significant attention in the last years. This is a central problem in Process Mining, a novel area which tries to close the cycle between system design and validation, by resorting on methods for the automated discovery, analysis and extension of process models. In this work, algorithms for the derivation of a Petri net from a set of traces are presented. The methods are grounded on the theory of regions, which maps a model in the state-based domain (e.g., an automata) into a model in the event-based domain (e.g., a Petri net). When dealing with large examples, a direct application of the theory of regions will suffer from two problems: one is the state-explosion problem, i.e., the resources required by algorithms that work at the state-level are sometimes prohibitive. This paper introduces decomposition and projection techniques to alleviate the complexity of the region-based algorithms for Petri net discovery, thus extending its applicability to handle large inputs. A second problem is known as the overfitting problem for region-based approaches, which informally means that, in order to represent with high accuracy the trace set, the models obtained are often spaghetti-like. By focusing on special type of processes called conservative and for which an elegant theory and efficient algorithms can be devised, the techniques presented in this paper alleviate the overfitting problem and moreover incorporate structure into the models generated.