Formalizing Workflow with Location Constraints by Colored Petri Nets | IEEE Conference Publication | IEEE Xplore