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

Process mining meets abstract interpretation
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
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
The discovery of process models out of system traces is an interesting 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 the theory presented is Process Mining, an area that tries to incorporate the use of formal models both in the design and use of information systems.
Àrees temàtiques de la UPC::Informàtica::Intel·ligència artificial
Data mining
Formal specification
Formal verification
Information systems
Petri nets
Program diagnostics
info:eu-repo/semantics/publishedVersion
Report
         

Show full item record

Related documents

Other documents of the same author

Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike
Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Pastor Llorens, Enric
Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Kishinevsky, Mike
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
 

Coordination

 

Supporters