En este trabajo se presenta una metodología para la síntesis automática de estrategias de
control a través de lógicas temporales y redes de Petri para la planificación de movimientos …