PseudoState - WFR2 - Todas las rutas que salen de una bifurcación se deben unir de nuevo en algún momento en una unión o ...

[PseudoState - WFR2] - Todas las rutas que salen de una bifurcación se deben unir de nuevo en algún momento en una unión o uniones posteriores. Es más, si hay varias capas de uniones, deben estar bien anidadas. Por lo tanto, la estructura de simultaneidad de un modelo de actividad es en realidad igual de restrictiva que en una máquina de estado normal, a pesar de que los estados compuestos no tienen por qué ser explícitos.