Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis

Simone Agostinelli, Francesco Chiariello, Fabrizio Maria Maggi, Andrea Marrella, Fabio Patrizi

Abstract: Highlights•Deterministic Finite State Automata (DFAs) are employed to perform formal reasoning tasks in Process Mining.•We enable the automated discovery of DFAs from event logs.•Novel process mining quality metrics tailored to DFAs are introduced.