Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation

Teaching System of Integrated Automation of Filling Dosage Wagons for Building Materials

“…Al cual se le realiza la verificación de sus propiedades principales y validación del cumplimiento de las exigencias del cliente, por medio de la simulación del funcionamiento de la planta con su control integrado. Por tales motivos el mundo académico e industrial [3,6,7,9,10,11,12,14,16,20] reconoce que solo modelando se logra la implementación de sistemas de automatización eficientes.…”

“…Automatización Local: son utilizadas tecnologías programables en redes de PLCs con capacidad de controlar redes de campo de sensores y actuadores inteligentes, una interfase hombre-máquina local y comunicaciones Ethernet Industrial para así enlazar con un Supervisorio del sistema de automatización. La programación de los PLCs es estandarizada por la norma IEC61131 y la metodología de diseño más práctica para relacionarse con esto es la basada en Sistemas de Eventos Discretos (SED) con Redes de Petri (PN) [20].…”

“…A esto está relacionada la Vivacidad de la red, si generalizamos esta capacidad a todo el sistema, y es aquí donde pueden detectarse partes de la red que detienen su funcionamiento (como autolazos, bloqueos,) lo cual nos permite eliminar estas situaciones anormales en el programa del PLC desde esta etapa inicial de diseño. Existen innumerables publicaciones sobre el uso de las PN como herramienta de modelado de un SED y trabajos desarrollados principalmente en industrias donde se hace uso de las PN [20].…”

“…En las redes GHENeSys se hacen mejorías a las PN ordinarias, garantizando el enlace con las salidas de los PLC por el uso de la función Q, y posibilitando la creación de macro elementos (subsistemas que pueden ser reutilizados) y la utilización de lugares auxiliares (Pseudoboxes ligados a sensores e informaciones externas la red) como habilitadores e inhibidores de transiciones por medio de los arcos respectivos [20]. …”

“…También este lenguaje tiene un conjunto de analogías con los modelos en GHENeSys (explicados en [20]) que permiten una fácil traducción de los modelos a programas IEC61131 compatibles. Se tuvo en cuenta las protecciones necesarias en caso de una emergencia, así como los modos de funcionamiento del proceso.…”