Conformance Checking in the Large: Partitioning and Topology

Conformance Checking in the Large: Partitioning and Topology