Murillo Soto, Luis Diego. Redes de Petri: Modelado e implementación de algoritmos para autómatas programables Tecnología en Marcha, Vol. 21, N.° 4, Octubre-Diciembre 2008, pp. 102-125
Redes de Petri: Modelado e implementación de algoritmos para autómatas programables
Fecha de recepción: 21/07/08 Fecha de aceptación: 05/09/08
Luis Diego Murillo Soto1 en Controladores Lógicos Programables(PLCs por sus siglas en inglés).
Palabras clave
Redes de Petri (PN), Controlador Lógico Programable (PLC), Automatización.
Abstract Key words
Petri Nets, Programmable Logia Controller (PLC), Automatization. The present work is a monograph oriented to the use of the formalism of Petri networks, proposed by Carl Petri in the description of Discrete Event Dynamic Systems (DEDS). The Petri Nets,whose acronym is PN, were used initially for the analysis of algorithms in the parallel computation or concurrent, nevertheless, given the complexity of the present productive processes, the PN are alternative methods of design as much for the industrial process as of the controller. In this sense, this study makes a revision of the bibliographical references where it is indicated how to makemodeled and how to implement of control algorithms in PLCs.
Resumen
El presente trabajo es una monografía orientada hacia la utilización del formalismo de las Redes de Petri, propuesto por Carl Petri en la descripción de Sistemas Dinámicos de Eventos Discretos (DEDS). Las Redes de Petri, cuyo acrónimo en inglés es PN, fueron utilizadas inicialmente para el análisis de algoritmos en la computaciónparalela o concurrente, pero dada la complejidad de los procesos productivos actuales, las PN son un método alternativo de diseño tanto para el proceso industrial como para el controlador. En este sentido, este estudio hace una revisión de las referencias bibliográficas donde se indica cómo realizar el modelado y la implementación de algoritmos de control
1.
Introducción
Los controladoreslógicos programables (PLCs) son computadoras diseñadas para trabajar en ambientes industriales con la finalidad de controlar una amplia gama
Profesor de la Escuela de Ingeniería Electromecánica del Instituto Tecnológico de Costa Rica. Correo electrónico: [email protected].
102
Vol. 21, N.° 4 2008
de procesos productivos. David, García y Peng [6, 16, 34] mencionan que en el año 1968, ladivisión hidronomática de General Motors trabajó en un proyecto para desarrollar un sistema digital programable que permitiera flexibilizar las líneas de producción de automóviles y librarse del mantenimiento que requerían los paneles de relés. Además, la programación del computador industrial debía ser hecha en forma gráfica, simulando los diagramas escalera de los relés, con la finalidad de quela lógica fuera transparente a los técnicos e ingenieros de planta. La construcción y funcionamiento del PLC es un tema estudiado en la literatura [9, 16, 29, 35] y su desarrollo se ha nutrido de los avances en microprocesadores, memorias y lenguajes de programación, con la diferencia de que el PLC está diseñado para ambientes hostiles donde la humedad, las vibraciones y el polvo son condicionesinherentes de los procesos productivos. Ciertos procesos productivos industriales corresponden a sistemas dinámicos de eventos discretos (DEDS), los cuales pueden ser maniobrados y/o supervisados por uno o varios controladores de eventos discretos. A nivel industrial, el controlador de eventos discretos (DEC) se implementa usualmente con PLCs. Sin embargo, la obtención del algoritmo de control ysu implementación en software es hecha con métodos heurísticos carentes de formalismo, donde la experiencia del
diseñador es clave para la obtención de la solución. La figura 1 muestra la interacción entre un proceso industrial descrito como DEDS y su respectivo PLC representado como un DEC. Existen varios métodos formales para definir algoritmos de control, entre ellos, la teoría de…