Next: Alcanzabilidad
Up: Redes de Petri
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 M0, estas propiedades son alcanzabilidad,
acotamiento, activa, reversibilidad y estado inicial, persistencia,
distancia sincrónica.
Amilcar Meneses
2002-11-08