Co-NP-Hardness of the Soundness Problem for Asymmetric-Choice Workflow Nets | IEEE Journals & Magazine | IEEE Xplore