PetrA - redes de Petri

Next: Matriz de incidencia Up: Métodos de Análisis Previous: Árbol de alcanzabilidad.


Matriz de incidencia y ecuación de estado

La matriz de incidencia y las ecuaciones de estado han resultado ser un enfoque muy apropiado para describir y analizar completamente el comportamiento dinámico de las redes de Petri. Su planteamiento a través de las ecuaciones lineales (con matrices) permite utilizar el bagaje teórico para analizar el comportamiento dinámico. Sin embargo, debido a la naturaleza no determinística de los modelos de redes de Petri, se tiene que las ecuaciones involucradas tienen soluciones limitadas.



Subsecciones


PetrA
ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie