Conformance checking in healthcare based on partially ordered event data | IEEE Conference Publication | IEEE Xplore