Metodologías para la obtención del modelo y el programa de control para un proceso de eventos discretos basado en GRAFCET utilizando un PLC

En el capítulo 1 se presentan las herramientas formales de modelación e implementación de sistemas de eventos discretos, algunas de éstas son utilizadas en capítulos posteriores en el desarrollo de las metodologías. Estas herramientas son: • Redes de Petri. • Autómatas. • GRAFCET. La primera metodología propuesta es una modificación al trabajo de [14]. Ésta se presenta en el capítulo 2 y se denomina IPTG en GRAFCET, la cual parte de un diagrama IDEFO para formar un modelo bajo la forma de Red de Petri simplificada y finalmente obtener el lenguaje de programación GRAFCET. La segunda metodología es la denominada RIMAnl en GRAFCET descrita en el X capítulo 3. Esta consiste en recolectar la información del proceso de una manera ordenada, para después obtener su correspondiente modelo autómata discreto de éste. Para evitar que este modelo tenga secuencias prohibidas, se realiza un análisis del modelo basado en un autómata, y si éste es favorable se obtiene la estructura de implementación GRAFCET. Con la finalidad de mostrar las bondades de las dos metodologías expuestas(capítulos 2 y 3), se utiliza un proceso de estampado de latas industrial ya instrumentado. Los resultados teóricos obtenidos se muestran en el Anexo 2 (metodología IPTG en GRAFCET) y en el Anexo 4 (metodología RIMAnl en GRAFCET). En el Anexo 1 y 2 se muestran las tablas en blanco para las metodologías IPTG y RIMAnl en GRAFCET respectivamente. Para validar los resultados obtenidos para el proceso de estampado de latas con las metodologías IPTG y RIMAnl en GRAFCET se realizaron pruebas experimentales en el PLC TSX-3705 de Modicon Telemecanique en el Laboratorio de Control Lógico del Departamento de Mecatrónica y Automatización. El desarrollo así como los resultados obtenidos se muestran en el capítulo 4. Finalmente en el capítulo 5 se establecen las conclusiones y perspectivas de este trabajo de tesis.