Este proyecto plantea una metodología para la el diseño de supervisores mediante el formalismo de autómatas extendidos de sistemas a eventos discretos, capaz de detectar todos los posibles estados de funcionamiento del ...