Distributed Process Discovery and Conformance Checking
Discovering Concurrency: Learning (Business) Process Models from Examples