(cf. Figure 1.2).
Section 4.1 explains a conformance ProM plug-in that detects discrepancies
between the flows prescribed in a model and the actual process instances
(flows) in a log. Sections 4.2 and 4.3 describe extension ProM plug-ins that
respectively extend the models with performance characteristics and business
rules.