Conformance Checking of Interacting Processes with Overlapping Instances