Scalable Alignment of Process Models and Event Logs: An Approach Based on Automata and S-Components

Daniel Reißner, Abel Armas-Cervantes, Raffaele Conforti +3

Given a model of the expected behavior of a business process and an event log recording its observed behavior, the problem of business process conformance checking is that of ident…