this model can also be made by hand. In the both situations, conformance checking techniques can be used to compare the observed behavior (event logs) with the modeled behavior (initial process model). This result in diagnostics showing deviations between model and log.