Petri Net Controllers for Distributed Robotic Systems | IEEE Conference Publication | IEEE Xplore