PseudoState - WFR2 - Tous les trajets partant d'une fourche doivent finalement rejoindre une ou plusieurs jonctions ultérieures. ...

[PseudoState - WFR2] - Tous les trajets partant d'une fourche doivent finalement rejoindre une ou plusieurs jonctions ultérieures. En outre, s'il y a plusieurs couches de jonctions, elles doivent être imbriquées. Par conséquent, la structure parallèle d'un modèle d'activité est en fait tout aussi restrictive que celle d'une machine à états ordinaire, même s'il n'est pas nécessaire que les états composites soient explicites.