[HTML][HTML] Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis
Within the process mining field, Deterministic Finite State Automata (DFAs) are largely
employed as foundation mechanisms to perform formal reasoning tasks over the information …
employed as foundation mechanisms to perform formal reasoning tasks over the information …
Enhancing declarative temporal model mining in relational databases: A preliminary study
Propositionalisation tampers the running time of state-of-the-art algorithms in declarative
temporal model mining, as they exhaustively generate the clauses instantiated with the …
temporal model mining, as they exhaustively generate the clauses instantiated with the …
Running Temporal Logical Queries on the Relational Model
State of the art for model checking exploit computationally intensive solutions, bottlenecked
by either repeated data access or suboptimal algorithmic implementations. Our solution …
by either repeated data access or suboptimal algorithmic implementations. Our solution …