Resumen:
El presente trabajo adopta el formalismo de redes de Petri (PN’s), por su representación gráfica y soporte matemático, para el modelado de sistemas dinámicos de eventos discretos (DEDS’s) y el diseño de controladores de eventos discretos (DEC’s) o supervisores. Para el diseño del DEC se elegirá un método formal, basado en el formalismo de PN’s, que permite sintetizar el DEC, teniendo en cuenta la naturaleza de los DEDS’s (no deterministas, concurrencia, sincronización, conflictos, eventos controlables y observables, no controlables y observables, no controlables y no observables). Seguidamente se presenta una metodología para obtener el código en lenguaje ladder para el PLC, la cual fue aplicada para las familias SLC y Micrologix de Rockwell, probándose principalmente en un PLC Micrologix 1500 LRP.
Para el modelado del DEDS se cuenta con la herramienta PIPE la cual es de código libre y cuenta con opciones que permiten realizar el análisis y simulación de la PN obtenida, lo que la hace idónea para el propósito del presente proyecto.
Para el diseño del supervisor se desarrolla una herramienta software denominada CRP, teniendo en cuenta los criterios de la metodología seleccionada para el diseño del DEC. Una vez diseñado y verificado el supervisor, conforme al objetivo de control, la herramienta genera automáticamente el código ladder para el software RsLogix 500 de acuerdo a la metodología expuesta.
En la sección de casos de estudio se presentan algunos ejemplos en donde se puede apreciar el potencial de la metodología adoptada para el diseño del DEC. También se verifica en un caso real la metodología y la herramienta desarrollada.
