| Resumen |
- El desarrollo de sistemas físicos cuyos estados evolucionan en forma automática basándose en tablas predefinidas de comportamiento, tales como el sistema de control de un robot en un proceso industrial, o un sistema que controle el movimiento de los diferentes trenes de un Transporte Colectivo Metro a fin de evitar accidentes de choque por alcance, es cada vez más complejo, y se requiere de herramientas de diseño que permitan conocer el comportamiento de un sistema antes de su realización física. Para lograr tal conocimiento los diseñadores utilizan el recurso conocido como redes de Petri, cuyas características más importantes y evolución se puede analizar por medio de un programa de computadora y sus resultados por medio de una interfaz gráfica. Este programa enviará, durante la evolución de la red, mensajes precisos acerca de sus características tales como existencia de conflictos, vivacidad, limitación y conservatividad. Developement of physical systems whose individual states do evolve automatically, based upon some predefined schedule tables, such as a robot system control in an industrial process, or a mass transportation system, (Subway) to avoid a collision, gets more and more complex, the same way the subsystems that they control do, and it requires designing tools that allow designers to know the system behavior even before the actual system has been accomplished. In order to achieve that kind of knowledge, designers use the tool so called Petri Nets, (after Kart Adam Petri) wich main charactheristics and evolution can be analized by means of a computer system, and its results can be observed using a GUI ( Graphical User Interface). This program will send, as the net evolution goes through, precise messages about its main characteristics such as conflicts, liveness, boundedness and conservativeness. |
Tesis de posgrado