Petri Net Computers and Workflow Nets | IEEE Journals & Magazine | IEEE Xplore