article-journal

Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis
A tool for compiling Declarative Process Mining problems in ASP