Specification of operations for a manipulator on a mobile robot using grafcet | Publicación