PetrA - redes de Petri

Next: Acotamiento Up: Propiedades de comportamiento Previous: Propiedades de comportamiento

Alcanzabilidad

La alcanzabilidad es una base fundamental para estudiar las propiedades dinámicas de cualquier sistema. El disparo de una transición habilitada cambiará la distribución de los tokens en una red, de acuerdo a las reglas de transición mencionadas en la definición 3. Una secuencia de disparos dará como resultado una secuencia de marcas. Se dice que una marca $M_n$ es alcanzable de una marca $M_0$ si existe una secuencia de disparos que transformen a $M_0$ en $M_n$. Un secuencia de disparos se denota por \( \sigma = M_0\;\;t_1\;\;M_1\;\;t_2\;\;M_2\;\;\cdots\;\;t_n\;\;M_n \) o simplemente por \( \sigma = t_1\;\;t_2\;\;\cdots\;\;t_n \) En este caso $M_n$ es alcanzable por $M_0$ y se denota como \( M_0 [\sigma > M_n. \) El conjunto de todas las marcas posibles alcanzables por $M_0$ en una red $(N,M_0)$ se denota como $R(N,M_0)$. El conjunto de todas las secuencias de disparo desde $M_0$ en una red $(N,M_0)$ se denota como $L(N,M_0)$.

El problema de alcanzabilidad en las redes de Petri consiste en encontrar una $M_n\in R(N,M_0)$ deseada.

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