Process Discovery using Integer Linear Programming

Authors:
J. M. E. M. van derWerf;B. F. van Dongen;C. A. J. Hurkens;A. Serebrenik
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. E-mail: {j.m.e.m.v.d.werf, b.f.v.dongen,c.a.j.hurkens,a.serebr ...;Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. E-mail: {j.m.e.m.v.d.werf, b.f.v.dongen,c.a.j.hurkens,a.serebr ...;Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. E-mail: {j.m.e.m.v.d.werf, b.f.v.dongen,c.a.j.hurkens,a.serebr ...;Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. E-mail: {j.m.e.m.v.d.werf, b.f.v.dongen,c.a.j.hurkens,a.serebr ...
Venue:
Fundamenta Informaticae - Petri Nets 2008
Year:
2009

Citing 21
Cited 14

Petri nets: an introduction

Petri nets: an introduction
Theory of linear and integer programming

Theory of linear and integer programming
Free choice Petri nets

Free choice Petri nets
The synthesis problem of Petri nets

Acta Informatica
Deriving Petri Nets from Finite Transition Systems

IEEE Transactions on Computers
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of 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
Theory of Regions

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow mining: a survey of issues and approaches

Data & Knowledge Engineering
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
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
How to synthesize nets from languages: a survey

Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Token History Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Theory of regions for the synthesis of inhibitor nets from scenarios

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
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
Can i execute my scenario in your net? viptool tells you!

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Process mining for ubiquitous mobile systems: an overview and a concrete algorithm

UMICS'04 Proceedings of the Second CAiSE conference on Ubiquitous Mobile Information and Collaboration Systems

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
Mining processes in dentistry

Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
A multi-dimensional quality assessment of state-of-the-art process discovery algorithms using real-life event logs

Information Systems
Process Mining: Overview and Opportunities

ACM Transactions on Management Information Systems (TMIS)
Distributed process discovery and conformance checking

FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Discovering process models from event multiset

Expert Systems with Applications: An International Journal
Decomposing process mining problems using passages

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
On profiles and footprints --- relational semantics for petri nets

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Repairing process models to reflect reality

BPM'12 Proceedings of the 10th international conference on Business Process Management
Simplifying discovered process models in a controlled manner

Information Systems
Slice, mine and dice: complexity-aware automated discovery of business process models

BPM'13 Proceedings of the 11th international conference on Business Process Management
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The research domain of process discovery aims at constructing a process model (e.g. a Petri net) which is an abstract representation of an execution log. Such a model should (1) be able to reproduce the log under consideration and (2) be independent of the number of cases in the log. In this paper, we present a process discovery algorithm where we use concepts taken from the language-based theory of regions, a well-known Petri net research area. We identify a number of shortcomings of this theory from the process discovery perspective, and we provide solutions based on integer linear programming.