YT Kotb, SS Beauchemin… - IEEE transactions on …, 2011 - ieeexplore.ieee.org
We present a formal framework for robotic cooperation in which we use an extension to Petri
nets, known as workflow nets, to establish a protocol among mobile agents based on the …