On the Complexity of Deciding Soundness of Acyclic Workflow Nets | IEEE Journals & Magazine | IEEE Xplore