Process mining meets abstract interpretation

Authors:
J. Carmona;J. Cortadella
Affiliations:
Universitat Politécnica de Catalunya, Spain;Universitat Politécnica de Catalunya, Spain
Venue:
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Year:
2010

Citing 14
Cited 6

Partial (set) 2-structures. Part I: basic notions and the representation problem

Acta Informatica
Automatic discovery of linear restraints among variables of a program

POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
The Octagon Abstract Domain

WCRE '01 Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE'01)
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
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
Process Discovery Using Integer Linear Programming

PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Apron: A Library of Numerical Abstract Domains for Static Analysis

CAV '09 Proceedings of the 21st International Conference on Computer Aided Verification
New Region-Based Algorithms for Deriving Bounded Petri Nets

IEEE Transactions on Computers
Process mining based on regions of languages

BPM'07 Proceedings of the 5th international conference on Business process management
Derivation of non-structural invariants of petri nets using abstract interpretation

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets

Simplifying mined process models: an approach based on unfoldings

BPM'11 Proceedings of the 9th international conference on Business process management
Decomposing process mining problems using passages

PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Online techniques for dealing with concept drift in process mining

IDA'12 Proceedings of the 11th international conference on Advances in Intelligent Data Analysis
Simplifying discovered process models in a controlled manner

Information Systems
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 discovery of process models out of system traces is a problem that has received significant attention in the last years. In this work, a theory for the derivation of a Petri net from a set of traces is presented. The method is based on the theory of abstract interpretation, which has been applied successfully in other areas. The principal application of this theory is Process Mining, an area that tries to incorporate the use of formal models both in the design and use of information systems.