Diagrama escalera red de Petri (LDPN): Caso de estudio

  • José Carlos Quezada Universidad Autónoma del Estado de Hidalgo
  • Joselito Medina Universidad Autónoma del Estado de Hidalgo
  • Juan Carlos Seck-Tuoh Universidad Autónoma del Estado de Hidalgo
  • Ernesto Flores Universidad Autónoma del Estado de Hidalgo
  • Alonso Solís Universidad Autónoma del Estado de Hidalgo
Palabras clave: Diagrama escalera, algoritmos de control, redes de Petri, sistemas de eventos discretos.

Resumen

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.

Citas

da Silva Oliveira, E.A., da Silva, L.D., Gorgonio, K., Perkusich, A., Martins, A.F. (2011) Obtaining formal models from ladder diagrams. 9th IEEE International Conference on Industrial Informatics (INDIN), 26–29, 796–801.

Frey, G. (2000) Analysis of Petri nets based control algorithms: Basic properties. Proceedings of ACC, 3172-3176.

International Electrotechnical Commision, IEC 61131–3 (2003) Programmable Controllers: Programming Languages, International standard, second edition.

Lee, J., Lee, J.S. (2009) Conversion of ladder diagram to petri net using module synthesis technique. International Journal of Model and Simulation, 29(1), 79–88.

Murata, T. (1989), Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541-580.

Petruzella, F. D. (2011) Programmable Logic Controllers, fourth edition, New York, Mc Graw Hill.

Quezada, J. C., Medina, J., Flores, E., Seck-Tuoh, J. C., Hernández, N. (2014) Formal design methodology for transforming ladder diagram to Petri nets, International Journal of Advanced Manufacturing Technology, 73, 821-836

Thapa, D., Dangol, S., Wang, G.N. (2005), Transformation from petri nets model to programmable logic controller using one-to-one mapping technique. International conference on computational intelligence for modelling, Control and automation, 2005 and international conference on intelligent agents, Web technologies and internet commerce, vol 2, 228–233.

Uzam, M., Jones, H. (1998) Discrete event control systems design using Automation Petri Nets and their ladder diagram implementation. International Journal of Advanced Manufacturing Technology. Vol. 14, No. 10, 716-728.

Xuekum, C., Lilian, L., Pengfei, Q. (2012) Method for translating ladder diagram to ordinary Petri nets. 51st IEEE Conference on Decision and Control.
Publicado
2016-07-05