Scalable alignment of process models and event logs: An approach based on automata and S-components

Highlights：

• The method derives lossless and compact automata of an event log and a process model.

• An A∗ algorithm finds minimal and deterministic alignments between the automata.

• Memoization techniques are used to speed up the computation of alignments.

• A decomposition-based approach divides the process model into S-Components.

• A recomposition technique merges partial results into a final alignment.