2010
DOI: 10.1007/978-3-642-15880-3_18
|View full text |Cite
|
Sign up to set email alerts
|

Process Mining Meets Abstract Interpretation

Abstract: 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.

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
24
0

Year Published

2012
2012
2021
2021

Publication Types

Select...
6
1

Relationship

0
7

Authors

Journals

citations
Cited by 28 publications
(24 citation statements)
references
References 17 publications
0
24
0
Order By: Relevance
“…Dozens of process discovery [2,6,7,11,13,18,19,21,24,29,33,35,36] and conformance checking [3, 8-10, 16, 22, 24, 30-32, 34] approaches have been proposed in literature. Despite the growing maturity of these approaches, the quality and efficiency of existing techniques leave much to be desired.…”
Section: Introductionmentioning
confidence: 99%
“…Dozens of process discovery [2,6,7,11,13,18,19,21,24,29,33,35,36] and conformance checking [3, 8-10, 16, 22, 24, 30-32, 34] approaches have been proposed in literature. Despite the growing maturity of these approaches, the quality and efficiency of existing techniques leave much to be desired.…”
Section: Introductionmentioning
confidence: 99%
“…Dozens (if not hundreds) of process-mining techniques are available and their value has been proven in many case studies. For example, dozens of process discovery [1,9,11,16,32,18,22,23,27,33,39,48,51,52] and conformance checking [6,13,14,15,21,28,33,41,42,47,50] approaches have been proposed in literature. However, this paper is not about new processmining techniques but about getting the event data needed for all of these techniques.…”
Section: Related Workmentioning
confidence: 99%
“…These formalisms are widely used within process mining as results of application of process discovery algorithms [9,10,12,16,20,26,36]. Having conversion algorithms to BPMN format will give an opportunity to discover control flow models, which could be integrated with other process perspectives.…”
Section: Converting Process Models Into Bpmnmentioning
confidence: 99%