Loading...
Loading...

Go to the content (press return)

Encoding process discovery problems in SMT

Author
Sole, M.; Carmona, J.
Type of activity
Journal article
Journal
Software and systems modeling
Date of publication
2018-10
Volume
17
Number
4
First page
1055
Last page
1078
DOI
https://doi.org/10.1007/s10270-016-0536-y Open in new window
Project funding
Computational Models and Methods for Massive Structured Data
Repository
http://hdl.handle.net/2117/122290 Open in new window
URL
https://link.springer.com/article/10.1007/s10270-016-0536-y Open in new window
Abstract
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...
Citation
Sole, M., Carmona, J. Encoding process discovery problems in SMT. "Software and systems modeling", Octubre 2018, vol. 17, núm. 4, p. 1055-1078.
Keywords
Causal nets, Petri nets, Process discovery, SMT application
Group of research
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods

Participants

Attachments