A colored Petri net based strategy for multi-agent scheduling | IEEE Conference Publication | IEEE Xplore