Typ: Verzweigung
fluss: Es besteht ein Kontrakt, Es besteht kein Kontrakt
sender: Prüfe, ob Kontrakt besteht
typ: XOR
Typ: Ereignis
empfangener fluss: Prüfe, ob Kontrakt besteht
gesendeter fluss: Wähle Kontrakt aus
gesendeter fluss: Erstelle Streckenbestellung zum Auftrag
Typ: Funktion
empfangener fluss: Autrag ist über Strecke zu beziehen -> Prüfe, ob Kontrakt besteht, Position ist über Strecke zu beziehen -> Prüfe, ob Kontrakt besteht
gesendeter fluss: Prüfe, ob Kontrakt besteht -> Es besteht ein Kontrakt, Prüfe, ob Kontrakt besteht -> Es besteht kein Kontrakt