PetrA - redes de Petri

Next: Equidad Up: Propiedades de comportamiento Previous: Persistencia

Distancia sincrónica

La noción de distancia sincrónica es un concepto fundamental introducido por C.A. Petri. Es una métrica muy relacionada al grado de dependencia mutua entre dos eventos en un sistema de condición/evento. Definiremos la distancia sincrónica entre dos transiciones $t_1$ y $t_2$ en una red de Petri $(N,M_0)$ por

\begin{displaymath} d_{12} = \max \vert\overline{\sigma}(t_1) - \overline{\sigma}(t_2) \vert \end{displaymath}

donde $\sigma$ es una secuencia que inicia en cualquier marca $M$ en $R(N,M_0)$ y $\overline{\sigma}(t_i)$ es el número de veces que la transición $t_i$ (con $i=1,2$) dispara en $\sigma$.

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