On Modeling a Soccer Robot System Using Petri Nets. - Baowen Guo; Zhiwu Li 001; Shuwen Xu 002 (CASE, 2006)