Distributed Process Discovery and Conformance Checking · Study