Revista UIS Ingenierías

Vol. 14 Núm. 2 (2015): Revista UIS Ingenierías
Artículos

Aplicación para control supervisor con redes de Petri y traducción automática a código Ladder para el software RSLogix500TM

PDF
  • Carlos Alberto Gaviria,
  • Cristhian David Buchely Moreno,
  • Fausto Ruiz Coque
Carlos Alberto Gaviria
Universidad del Cauca
Biografía
Cristhian David Buchely Moreno
Universidad del Cauca
Biografía
Fausto Ruiz Coque
Universidad del Cauca
Biografía
DOI: https://doi.org/10.18273/revuin.v14n2-2015005

Publicado 2015-07-26

Palabras clave

  • código ladder,
  • control supervisor,
  • redes de petri

Cómo citar

Gaviria, C. A., Buchely Moreno, C. D., & Ruiz Coque, F. (2015). Aplicación para control supervisor con redes de Petri y traducción automática a código Ladder para el software RSLogix500TM. Revista UIS Ingenierías, 14(2), 47–55. https://doi.org/10.18273/revuin.v14n2-2015005
Aviso de derechos de autor/a

Resumen

Este artículo presenta una aplicación software para el sistema operativo WindowsTM, que permite el diseño formal y sistemático de supervisores de sistemas dinámicos de eventos discretos bajo el formalismo de red de Petri, y la generación automática de código Ladder para el software RSLogix 500TM de Rockwell Automation. La aplicación permite diseñar el supervisor mediante el método de restricciones lineales vectoriales generales, y en el caso de la inadmisibilidad de algunas de las restricciones impuestas, el software provee tres métodos para transformarlas en unas admisibles. También provee dos métodos para hallar los sifones y trampas de la RdP supervisada, lo que permite tomar acciones para prevenir el bloqueo del sistema supervisado. Una vez cumplidos los requerimientos de control, la aplicación permite mapear el supervisor de forma automática, a código Ladder mediante el método extendido Token Passing Logic.

PDF

Descargas

Los datos de descargas todavía no están disponibles.

Referencias

  1. ÅKesson, K.; Fabian, M.; Flordal, H.; Malik, R. Supremica—an integrated environment for verification, synthesis and simulation of discrete event systems. En Proceedings of the 8th International Workshop on Discrete Event Systems (pp. 384–5), 2006.
  2. Cordone, R.; Ferrarini, L.; Piroddi, L. Some results on the computation of minimal siphons in Petri nets. En Conference on Decision and Control. volumen 4, 2003. doi:10.1109/CDC.2003.1271733.
  3. Frey, G.; Kaiserslautern, U.; Minas, M. Editing, visualizing, and implementing signal interpreted petri nets. En Proceedings of the AWPN 2000 (pp. 57–62), 2000.
  4. Iordache, M. Methods for the Supervisory Control of Concurrent Systems Based on Petri Net Abstractions. Ph.D. thesis Notre Dame, IN, USA, 2004.
  5. Iordache, M.; Antsaklis, P. Synthesis of supervisors enforcing general linear constraints in petri nets. The 2002 American Control Conference, 2002.
  6. Iordache, M.; Moody, O.; Antsaklis, P. A method for deadlock prevention in discrete event systems using Petri nets. Technical Report University of Notre Dame, 1999. Technical Report of the ISIS Group.
  7. Lima, E.; Dórea, C. An algorithm for supervisory control of discreteevent systems via place invariants. 15th Triennial World Congress of the International Federation of Automatic Control, 2002.
  8. Moody, J. Petri Net Supervisors for Discrete Event Systems. University of Notre Dame, 1998. URL: https://books.google.com.co/books?id= 6gD6NwAACAAJ.
  9. petrilld.sourceforge.net Petrilld:develop industrial automation with petri nets. http://petrilld.sourceforge.net/mwiki/index.php/Main_Page, 2014. Consulta: 10-01-2014.
  10. pipe2.sourceforge.net Platform independent petri net editor 2. http: //pipe2.sourceforge.net, 2014. Consulta: 10-01-2014.
  11. Uzam, M. Petri-net-based supervisory control of discrete event systems and their ladder logic diagram implementations. Ph.D. thesis University of Salford, 1998.
  12. Uzam, M.; Jones, A.; Ajlouni, N. Conversion of Petri net controllers for manufacturing systems into ladder logic diagrams. En Emerging Technologies and Factory Automation, 1996. doi:10.1109/ETFA.1996.573978.
  13. Wegrzyn, A.; Karatkevich, A.; Bieganowski, J. Detection of deadlocks and traps in Petri nets by means of Thelen’s prime implicant method. International Journal of Applied Mathematics and Computer Science, 14, 113–121, 2004.
  14. wiki.eecs.umich.edu Desuma. https://wiki.eecs.umich.edu/desuma, 2014. Consulta: 10-01-2014.
  15. Yamalidou, K.; Moody, J.; Lemmon, M.; Antsaklis, P. Feedback control of petri nets based on place invariants. Automatica, 32, 15–28, 1996. doi: 10.1016/0005-1098(95)00103-4