Resumen de Solución a un problema de eventos discretos en sistemas dinámicos utilizando las redes de Petri y el software HiPS
- español
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.
- English
In this work are exposed the solution steps of the cat and mouse problem published in the article from 1984, using Petri networks models and the Hiearchical Petri Net Simulator Software (HiPS). The objective is to show familiarity and the methodology of applying controllable language in discrete events using the previous tools, since the article was written almost 39 years ago without the advantages of information technologies where discrete events can be simulated. Besides showing the control schematics of Petri networks that allows the problem solution under fulfillment of certain conditions, the simulation software is used in advantage to get the model’s coverage and reachability table, an incidence matrix, the identification of out-of-conflict states and transitions to execute those states without restrictions. In symbolic terms, the behavior of the cat and the mouse can represent equipment, sensors, actuators, robots, machinery, or dynamic production systems. The results were optimal, and conclusions are discussed.
