Colored Petri Net Representation of Logical and Decisive Passing Algorithm for Humanoid Soccer Robots. - Kieutran Theresa Pham; Chelsea Cantone; Seung-Yun Kim (IRI, 2017)