Ir al menú de navegación principal Ir al contenido principal Ir al pie de página del sitio
ACI Avances en Ciencias e Ingenierías

SECCIÓN C: INGENIERÍAS

Vol. 15 Núm. 2 (2023)

Solución a un problema de eventos discretos en sistemas dinámicos utilizando las redes de Petri y el software HiPS

DOI
https://doi.org/10.18272/aci.v15i2.2932
Enviado
marzo 31, 2023
Publicado
2023-10-18

Resumen

En este trabajo se exponen los pasos y la solución del problema del gato y el ratón que se publicó en el artículo de Wonham y Ramadge (1984), utilizando el modelo de las redes de Petri y el software de simulación Hierarchical Petri Net Simulator (HiPS). El objetivo que se persigue es mostrar la familiaridad y la metodología de la aplicación de lenguage controlable en eventos discretos utilizando las herramientas señaladas, puesto que el artículo fue escrito casi 39 años y no se tenía ventaja de los sistemas informáticos existentes en los que se pueden simular eventos discretos. Además de mostrar el esquema de control de redes de Petri que permite la solución del problema bajo el cumplimiento de ciertas condiciones, se toma ventaja del uso del software de simulación, donde se permite realizar una trabla de alcanzabilidad y covertura del modelo, una matriz de incidencia, la identificación de estados que no tienen conflicto y transiciones para ejectuar esos estados sin restricciones. En términos simbólicos, el comportamiento del gato y el ratón pueden representar sensores, actuadores, equipos, robots, maquinaria o sistemas de producción dinámicos. Los resultados fueron óptimos y se discuten conclusiones.

viewed = 171 times

Citas

  1. Kuntsevich, V. M., Gubarev, V. F., Kondratenko, Y. P., Lebedev, D. V. y Lysenko, V. P. (2018). Control Systems: Theory and Applications. River Publishers.
  2. Balemi, S. (1992). Control of Discrete Event Systems: Theory and application. ADAG Administration & Druck AG.
  3. Gunardi, Y. y Hanafi, D. (2022, julio 20-21). Petri net modeling for mobile robot in sharp turning cases. International Seminar of Intelligent Technology and its Applications (ISITIA). Surabaya, Indonesia. doi: https://doi.org/10.1109/ISITIA56226.2022.9855287
  4. Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4), 541-580. doi: https://doi.org/10.1109/5.24143
  5. Wang, J. (2007). Petri Nets for Dynamic Event-Driven System Modeling. En P. A. Fishwick (Ed.), Handbook of Dynamic System Modeling. Monmouth University. doi: https://doi.org/10.1201/9781420010855
  6. Zurawski, R. y Zhou, M. (1994). Petri nets and industrial applications: A tutorial. IEEE Transactions on Industrial Electronics, 41(6), 567-583. doi: https://doi.org/10.1109/41.334574
  7. Restrepo, P. L. A. (2011). Un método computacional para la detección y caracterización de conflictos en redes de Petri. Revista Ingenierías Universidad de Medellín, 10(19), 189-199. https://repository.udem.edu.co/handle/11407/931
  8. Ramadge, P. J. (1983). Control and Supervision of Discrete Event Processes. Department of Electrical Engineering, University of Toronto.
  9. Ramadge, P. J. y Wonham, W. M. (1982, diciembre 8-10). Supervision of discrete event processes. 21st IEEE Conference on Decision and Control. Orlando, FL, EE.UU. doi: https://doi.org/10.1109/CDC.1982.268351
  10. Ramadge, P. J. y Wonham, W. M. (1987). Supervisory control of a class of discrete event processes. SIAM Journal on Control and Optimization, 25(1), 206-230. doi: https://doi.org/10.1137/0325013
  11. Wonham, W. M. y Ramadge, P. J. (1987). On the Supremal Controllable Sublanguage of a given Language. SIAM Journal on Control and Optimization, 25(3), 637-659. doi: https://doi.org/10.1137/0325036
  12. Wonham, W. M. y Ramadge, P. J. (1984, diciembre 12-14). On the supremal controllable sublanguage of a given language. 23rd Conference on Decision and Control. Las Vegas, NV, EE.UU. doi: https://doi.org/10.1109/CDC.1984.272178
  13. Čapkovič, F. (1993). A Petri Nets-Based Approach to the Maze Problem Solving. En S. Balemi, P. Kozák y S. Smendiga (Eds.), Discrete Event Systems: Modeling and Control (pp. 173-179). Birkhäuser Basel. doi: https://doi.org/10.1007/978-3-0348-9120-2_15
  14. Uzam, M. (2004). Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions. International Journal of Advance Technology, 24, 48-69. doi: https://doi.org/10.1007/s00170-003-1715-x
  15. Harie, Y., Mitsui, Y., Fujimori, K., Batajoo, A. y Wasaki, K. (2017, octubre 24-27). HiPS: Hierarchical Petri Net design, simulation, verification and model checking tool. IEEE 6th Global Conference on Consumer Electronics (GCCE). Nagoya, Japón. doi: https://doi.org/10.1109/GCCE.2017.8229199
  16. KWasaki1967. (2017, junio 4). HiPS: Hierarchical Petri net Simulator [video]. YouTube. https://www.youtube.com/watch?v=usF1JrQegOE