Resumen:
El trabajo presentado a continuación desarrolla las siguientes temáticas: el uso de una metodología formal basada en el estándar ISA 88 para el modelado de sistemas de manufactura tipo Batch. Con la obtención de un modelo de equipos y de un modelo de control de procedimientos, se describe un procedimiento para el diseño de las especificaciones de control basado en redes de Petri. El procedimiento de diseño de la lógica de control abarca los siguientes puntos: configuración de las distintas secuencias de funcionamiento de la lógica de control en condiciones normales y anormales según la definición dada en el estándar de ISA 88 para la configuración de estados de fase en los procesos Batch. Uso de modelos en redes de Petri para representar el comportamiento en eventos discretos de la planta en lazo abierto y en lazo cerrado (comportamiento deseado). Generación de la lógica de control para PLC basado en dos lenguajes de programación definidos en el estándar IEC 61131-3: Diagramas en lógica escalera o Ladder (LLD), y Cartas de funciones secuenciales o Sequential function charts (SFC). La presentación de una aplicación software desarrollada en Java que permitirá al usuario: configuración del modelo de estados de fase propuesto por ISA-88. Implementar redes de Petri construidas a partir de los editores gráficos PIPE/CRP o Snoopy. Realizar el proceso de traducción de manera automática del comportamiento deseado de la planta para implementación en PLC.
