Process mining meets model learning: Discovering deterministic finite state automata from event logs for business process analysis. Issue 114 (March 2023)