PseudoState - WFR2 - Tutti i percorsi in uscita da un fork devono eventualmente ricongiungersi in un o più join successivi. ...

[PseudoState - WFR2] - Tutti i percorsi in uscita da un fork devono eventualmente ricongiungersi in un o più join successivi. Inoltre, se vi sono più layer di join, questi devono essere nidificati. Quindi la struttura di concorrenza di un modello di attività è di fatto restrittiva quanto quella di una normale macchina a stati, anche se non è necessario esplicitare gli stati compositi.