Monotone Conformance Checking for Partially Matching Designed and Observed Processes · Study