On Modeling a Soccer Robot System Using Petri Nets

Robot soccer is a challenging research and pedagogical domain that involves many technical and scientific problems. It has been shown that Petri nets can provide an effective modelling framework for distributed systems. In this paper, we focus on modeling a soccer robot system using Petri nets and seek to develop a methodology to investigate the soccer robot system. By analyzing its Petri net model, we can distinguish the target states (goal) and dead states that appear in the system. Finally, the application of this approach is illustrated by an real-life example of 10 zones in our lab.