Fig. 7.1 Conformance checking: comparing observed behavior with modeled behavior. Global
conformance measures quantify the overall conformance of the model and log. Local diagnostics
are given by highlighting the nodes in the model where model and log disagree.
Cases that do not fit are highlighted in the
visualization of the log