Petri Net Modelling and Motion Analysis of the Football Robot System | IEEE Conference Publication | IEEE Xplore