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₁ y t₂ en una red de Petri (N,M₀) por

$$d_{12} = \max \vert\overline{\sigma}(t_1) - \overline{\sigma}(t_2) \vert$$

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