Petri net models of robotic tasks | IEEE Conference Publication | IEEE Xplore