Diagrama escalera red de Petri (LDPN): Caso de estudio
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.
Descargas
Citas
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.
