Coordinated execution of tasks in a multiagent environment

This correspondence describes the application of discrete event control methods to provide conflict-free plan execution in a multiagent environment. This work uses planning methods to generate plans for multiple robots, and the plans are then compiled into Petri nets for analysis, execution, and monitoring. Supervisory control techniques are applied to the Petri net controller for the purpose of dealing with conflicts that arise due to the presence of shared resources. Furthermore, by preserving the state of the system replanning can occur at any time during execution to deal with unforeseen events.