PetrA - redes de Petri

Next: Alcanzabilidad Up: Introducción a las redes Previous: Ejemplo de Modelación de

Propiedades de comportamiento

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 $M_0$, 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