Carregant...
Carregant...

Vés al contingut (premeu Retorn)

Encoding process discovery problems in SMT

Autor
Sole, M.; Carmona, J.
Tipus d'activitat
Article en revista
Revista
Software and systems modeling
Data de publicació
2018-10
Volum
17
Número
4
Pàgina inicial
1055
Pàgina final
1078
DOI
https://doi.org/10.1007/s10270-016-0536-y Obrir en finestra nova
Projecte finançador
Modelos y métodos computacionales para datos masivos estructurados
Repositori
http://hdl.handle.net/2117/122290 Obrir en finestra nova
URL
https://link.springer.com/article/10.1007/s10270-016-0536-y Obrir en finestra nova
Resum
Information systems, which are responsible for driving many processes in our lives (health care, the web, municipalities, commerce and business, among others), store information in the form of logs which is often left unused. Process mining, a discipline in between data mining and software engineering, proposes tailored algorithms to exploit the information stored in a log, in order to reason about the processes underlying an information system. A key challenge in process mining is discovery: Gi...
Citació
Sole, M., Carmona, J. Encoding process discovery problems in SMT. "Software and systems modeling", Octubre 2018, vol. 17, núm. 4, p. 1055-1078.
Paraules clau
Causal nets, Petri nets, Process discovery, SMT application
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius