Carregant...
Carregant...

Vés al contingut (premeu Retorn)

An SMT-based discovery algorithm for C-nets

Autor
Solé, M.; Carmona, J.
Tipus d'activitat
Document cientificotècnic
Data
2012
Codi
LSI-12-2-R
Repositori
http://hdl.handle.net/2117/91283 Obrir en finestra nova
Resum
Recently, Causal nets have been proposed as a suitable model for process discovery, due to their declarative semantics and the great expressiveness they possess. In this paper we propose an algorithm to discover a causal net from a set of traces. It is based on encoding the problem as a Satisfiability Modulo Theories (SMT) formula, and uses a binary search strategy to optimize the derived model. The method has been implemented in a prototype tool that interacts with an SMT solver. The experiment...
Citació
Solé, M., Carmona, J. "An SMT-based discovery algorithm for C-nets". 2012.
Paraules clau
Binary search, Complex behavior, Declarative semantics, Discovery algorithm, Process Discovery
Grup de recerca
ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals

Participants

Arxius