Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Process mining meets abstract interpretation

Autor
Carmona, J.; Cortadella, J.
Tipus d'activitat
Document cientificotècnic
Data
2010-07
Codi
LSI-10-15-R
Repositori
http://hdl.handle.net/2117/88077 Obrir en finestra nova
Resum
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 o...
Citació
Carmona, J., Cortadella, J. "Process mining meets abstract interpretation". 2010.
Paraules clau
Data Mining, Formal Specification, Formal Verification, Information Systems, Petri Nets, Program Diagnostics
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius