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