Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace:

Process discovery algorithms using numerical abstract domains
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
The discovery of process models from event logs has emerged as one of the crucial problems for enabling the continuous support in the life-cycle of an information system. However, in a decade of process discovery research, the algorithms and tools that have appeared are known to have strong limitations in several dimensions. The size of the logs and the formal properties of the model discovered are the two main challenges nowadays. In this paper we propose the use of numerical abstract domains for tackling these two problems, for the particular case of the discovery of Petri nets. First, numerical abstract domains enable the discovery of general process models, requiring no knowledge (e.g., the bound of the Petri net to derive) for the discovery algorithm. Second, by using divide and conquer techniques we are able to control the size of the process discovery problems. The methods proposed in this paper have been implemented in a prototype tool and experiments are reported illustrating the significance of this fresh view of the process discovery problem.
Peer Reviewed
Àrees temàtiques de la UPC::Informàtica::Informàtica teòrica
Petri nets
Data mining
Process discovery
Numerical abstract domains
Formal methods
Process models
Petri, Xarxes de
Mineria de dades

Mostrar el registro completo del ítem

Documentos relacionados

Otros documentos del mismo autor/a

Carmona Vargas, Josep; Julvez Bueno, Jorge Emilio; Cortadella Fortuny, Jordi; Kishinevsky, Mike
Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Kishinevsky, Mike
Carmona Vargas, Josep; Cortadella Fortuny, Jordi
Carmona Vargas, Josep; Cortadella Fortuny, Jordi; Pastor Llorens, Enric
Cortadella Fortuny, Jordi; San Pedro Martín, Javier de; Nikitin, Nikita; Petit Silvestre, Jordi