Es führen zwei oder mehr Pfade von der Verzweigung weg. Sobald ein Token eine exklusive Verzweigung erreicht, wird es in genau eine Richtung (Prozesspfad) weitergeschickt. Zu jedem Pfad gehört eine logische Bedingung, die erfüllt sein muss, damit das Token diesem folgt. Daraus ergibt sich, dass
- die Bedingungen so formuliert sein müssen, dass immer nur eine zutrifft
- und für jede denkbare Konstellation eine passende Bedingung existiert.