Conformance checking over uncertain event data · Study