Signavio PI (6) - Process (model) conformance checking