Workflow Nets for Multiagent Cooperation | IEEE Journals & Magazine | IEEE Xplore