Alignment-based conformance checking over probabilistic events | Read Paper on Bytez