Next: Alcanzabilidad
Up: Introducción a las redes
Previous: Ejemplo de Modelación de
La fuerza principal de las redes de Petri, son su soporte para el
análisis de propiedades y problemas asociados con sistemas
concurrentes. Las propiedades de comportamiento de las redes de Petri
dependen de la marca inicial , estas propiedades son alcanzabilidad,
acotamiento, activa, reversibilidad y estado inicial, persistencia,
distancia sincrónica.
Subsections
PetrA |
Next: Alcanzabilidad
Up: Introducción a las redes
Previous: Ejemplo de Modelación de
ameneses@computacion.cs.cinvestav.mx /
amilcar@synge.stp.dias.ie