Loading...
Loading...

Go to the content (press return)

Region-based foldings in process discovery

Author
Sole, M.; Carmona, J.
Type of activity
Journal article
Journal
IEEE transactions on knowledge and data engineering
Date of publication
2013-01
Volume
25
Number
1
First page
192
Last page
205
DOI
https://doi.org/10.1109/TKDE.2011.192 Open in new window
URL
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6007137 Open in new window
Abstract
A central problem in the area of Process Mining is to obtain a formal model that represents the processes that are conducted in a system. If realized, this simple motivation allows for powerful techniques that can be used to formally analyze and optimize a system, without the need to resort to its semiformal and sometimes inaccurate specification. The problem addressed in this paper is known as Process Discovery: to obtain a formal model from a set of system executions. The theory of regions is ...
Keywords
Process discovery, Region theory, Transition system folding
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants