next up previous contents
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 t1 y t2 en una red de Petri (N,M0) 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,M0) y $\overline{\sigma}(t_i)$ es el número de veces que la transición ti (con i=1,2) dispara en $\sigma$.



Amilcar Meneses
2002-11-08