Typ: Funktion
empfangener fluss: Prüfe, ob Bestellmengen zu verdichten sind, Wareneingangskapazität ist ausreichend -> Prüfe, ob Bestellmengen zu verdichten sind
gesendeter fluss: Prüfe, ob Bestellmengen zu verdichten sind -> Bestellmengen sind zu verdichten, Prüfe, ob Bestellmengen zu verdichten sind -> Bestellmengen sind nicht zu verdichten
Typ: Synchronisation
empfänger: Prüfe, ob Bestellmengen zu verdichten sind, Wareneingangskapazität ist ausreichend -> Prüfe, ob Bestellmengen zu verdichten sind
fluss: Filial-Lagerbestellung ist übermittelt, Filial-Streckenbestellung ist übermittelt
typ: XOR
Typ: Fluss
empfänger: Prüfe, ob Bestellmengen zu verdichten sind, Prüfe, ob Bestellmengen zu verdichten sind
sender: Wareneingangskapazität ist ausreichend
empfänger: Bestellmengen sind zu verdichten
sender: Prüfe, ob Bestellmengen zu verdichten sind -> Bestellmengen sind nicht zu verdichten, Prüfe, ob Bestellmengen zu verdichten sind
empfänger: Bestellmengen sind nicht zu verdichten
sender: Prüfe, ob Bestellmengen zu verdichten sind -> Bestellmengen sind zu verdichten, Prüfe, ob Bestellmengen zu verdichten sind