info:eu-repo/semantics/article
Diagrama escalera red de Petri (LDPN): Caso de estudio
Diagrama escalera red de Petri (LDPN): Caso de estudio
Registro en:
10.29057/icbi.v4i7.483
Autor
Carlos Quezada, José
Medina, Joselito
Seck-Tuoh, Juan Carlos
Flores, Ernesto
Solís, Alonso
Resumen
Ladder Diagram is a programming language included in the standard IEC-61131-3 of the International Electrotechnique Commission for the development of control algorithms based on Programmable Logic Controllers. IEC-61131-3 only takes into account the language syntax and semantic. Control algorithms in Ladder Diagram are developed based on the formal specifications of the system and the experience of the control responsible. A Petri net is a graphical and mathematical tool, which is utilized to model Discrete Event Systems. Ladder Diagram Petri Net (LDPN) is an approach to transform control algorithms developed in Ladder Diagram into Petri nets. Diagrama Escalera es un lenguaje de programación contemplado en la norma IEC-61131-3 de la Comisión Electrotécnica Internacional para el desarrollo de algoritmos de control de sistemas basados en Controladores Lógicos Programables. La norma IEC-61131-3 solo contempla la sintaxis y semántica de los lenguajes. Los algoritmos de control en diagrama escalera son desarrollados con base en las especificaciones formales del sistema, así como, por experiencia de los responsables del control. Las redes de Petri son una herramienta gráfica y matemática para modelar Sistemas de Eventos Discretos. LDPN (ladder Diagram Petri Net, por sus siglas en inglés) es un enfoque para transformar algoritmos de control desarrollados en diagrama escalera a redes de Petri.