Possibilistic WorkFlow nets to deal with non-conformance in process execution | IEEE Conference Publication | IEEE Xplore