Dans une divergence avec deux branches alternatives ou plus, chaque branche commence par une transition. La transition qui est TRUE (StartCountBananas ou StartCountApples) détermine quelle branche est exécutée. Une sélection de séquences est marquée par un trait horizontal au-dessus des transitions. Lorsque deux transitions passent simultanément à TRUE, la priorité d’exécution s’applique de gauche à droite, c.-à-d. dans l’exemple, seule l’étape suivant StartCountBananas est exécutée.
La convergence des branches alternatives est représentée par une transition pour chaque branche et un trait horizontal sous les transitions.