PetrA - redes de Petri

Next: Árbol de alcanzabilidad. Up: Introducción a las redes Previous: Equidad

Métodos de Análisis

Los métodos de análisis para las redes de Petri se pueden clasificar en tres grupos generales:
  1. Método de arbol de alcanzabilidad o cubrimiento.
  2. Enfoque de matriz de ecuaciones.
  3. Técnicas de reducción o descomposición.



Subsections


PetrA | Next: Árbol de alcanzabilidad. Up: Introducción a las redes Previous: Equidad
ameneses@computacion.cs.cinvestav.mx / amilcar@synge.stp.dias.ie