Diverge. y conver. en "o"

La divergencia y la convergencia en "o", a las que llamaremos conjuntamente bifurcación en "o", forman una estructura en la que existen los siguientes elementos:

	Una divergencia en "o", en la que se inician varios caminos o subprocesos alternativos posibles.
	Una serie de caminos alternativos con una macroestructura lineal, aunque pueden tener otras estructuras mas complejas.
	Una o mas confluencias en "o" de dichos caminos alternativos, de tal forma que la macroestructura debe ser globalmente cerrada.

Las propiedades básicas que cumple la estructura de bifurcación en "o" son las siguientes:

	A partir del punto de divergencia el proceso podrá evolucionar por distintos caminos alternativos, cada uno de ellos debe tener su propia condición de transición.
	Las condiciones de transición de los diversos caminos de divergencia han de ser excluyentes entre si, de forma que el proceso solo podrá progresar en cada caso por uno de ellos.
	A nivel de gráfico global, los distintos caminos iniciados como divergencia en "o" deben confluir en uno o mas puntos de convergencia en "o". Dicho de otra forma, la estructura debe ser totalmente cerrada y no pueden existir caminos abiertos, ya que esto denotaría situaciones sin posible salida.

La desactivación de la etapa previa a una divergencia se produce al activarse una cualquiera de las etapas siguientes, según una ecuación lógica en "o".

RESET B9 = Q10 + Q20 + Q30

("o" de todas las ramificaciones divergentes)

La activación de la etapa siguiente a una divergencia depende de la etapa previa y de la condición particular del camino activado, como si se tratara de una secuencia lineal:

SET B10 = Q9 * (C9-1)

La activación de la etapa siguiente a una convergencia depende de las etapas previas según una ecuación en "o".

SET B40 = Q19 * C19 + Q25 * C25

("o" de todas las ramificaciones concurrentes)