Petri nets for modeling and coordination of robotic tasks | IEEE Conference Publication | IEEE Xplore