Modelado de Funciones de Relevador con Redes de Petri

La teoría de redes de Petri es una herramienta gráfica y matemática que permite modelar sistemas de eventos discretos. La lógica o función de los relevadores fue adoptada por el lenguaje de programación denominado Diagrama Escalera (LD: Ladder Diagram), el cual está considerado dentro de los cinco lenguajes en la norma IEC-61131-3 del comité electrotécnico internacional. En el presente artículo se modelan estructuras lógicas utilizadas en los LD para mostrar su comportamiento dinámico con la matriz de incidencia y la ecuación de estado de la red de Petri.Palabras clave: Redes de Petri, Diagrama Escalera, IEC-61131, Matriz de incidencia, Ecuación de estado.