Hierarchical Conformance Checking of Process Models Based on Event Logs · Study