To access the full text documents, please follow this link: http://hdl.handle.net/2117/88012

Process mining from a basis of state regions
Solé, Marc; Carmona Vargas, Josep
Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
A central problem in the area of Process Mining is to obtain a formal model that represents selected behavior of a system. The theory of regions has been applied to address this problem, enabling the derivation of a Petri net whose language includes a set of traces. However, when dealing with real-life systems, the available tool support for performing such task is unsatisfactory, due to the complex algorithms that are required. In this paper, the theory of regions is revisited to devise a novel technique that explores the space of regions by combining the elements of a region basis. Due to its light space requirements, the approach can represent an important step for bridging the gap between the theory of regions and its industrial application. Experimental results improve in orders of magnitude state-of-the-art tools for the same task.
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Petri nets
Theory of regions
Process mining
info:eu-repo/semantics/publishedVersion
Report
         

Show full item record

Related documents

Other documents of the same author

Carmona Vargas, Josep; Solé, Marc
Muñoz Gama, Jorge; Carmona Vargas, Josep; Van der Aalst, Wil M. P.
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Muñoz Gama, Jorge; Carmona Vargas, Josep; Aalst, Wil M.P. van der
Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike
 

Coordination

 

Supporters