Colored Petri Net Representation of Logical and Decisive Passing Algorithm for Humanoid Soccer Robots | IEEE Conference Publication | IEEE Xplore