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₀ si existe una secuencia de disparos que transformen a M₀ en M_n. Un secuencia de disparos se denota por o simplemente por En este caso M_n es alcanzable por M₀ y se denota como El conjunto de todas las marcas posibles alcanzables por M₀ en una red (N,M₀) se denota como R(N,M₀). El conjunto de todas las secuencias de disparo desde M₀ en una red (N,M₀) se denota como L(N,M₀).

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