Abstract: Highlights•We overcome a key limitation hindering the applicability of conformance checking.•We present several estimators that infer possible orders of a partially ordered case.•Each estimator incorporates a different notion of behavioral abstraction.•We also introduce an approximation method with a bounded error in terms of accuracy.•Our experiments show that our technique outperforms the state-of-the-art.
Loading