Some Complexity Results for the Soundness Problem of Workflow Nets | IEEE Journals & Magazine | IEEE Xplore