Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models | IEEE Journals & Magazine | IEEE Xplore