Behavior-based autonomous cooperative control of intelligent mobile robot systems with embedded Petri nets | IEEE Conference Publication | IEEE Xplore