Teamwork Design Based on Petri Net Plans

This paper presents a design of cooperative behaviors through Petri Net Plans, based on the principles provided by Cohen and Levesque's Joint Commitments Theory. Petri Net Plans are a formal tool that has proved very effective for the representation of multi-robot plans, providing all the means necessary for the design of cooperation. The Joint Commitment theory is used as a guideline to present a general multi-robot Petri Net Plan for teamwork, that can be used to model a wide range of cooperative behaviors. As an example we describe the implementation of a robotic-soccer passing task, performed by Sony AIBO robots. © 2009 Springer Berlin Heidelberg.