Scalable process discovery and conformance checking
Mining specifications