Differenzen sind berücksichtigt

Typ: Ereignis

empfangener fluss: Berücksichtige Differenzen bei der Aufteilung

gesendeter fluss: Prüfe, ob in einen Prozess zurückverzweigt wird

Typ: Funktion

empfangener fluss: Differenz zwischen Aufteiler- und Gesamtmenge

gesendeter fluss: Differenzen sind berücksichtigt

Typ: Synchronisation

empfänger: Prüfe, ob in einen Prozess zurückverzweigt wird, Mengen je Abnehmer sind angegeben -> Prüfe, ob in einen Prozess zurückverzweigt wird

fluss: Differenzen sind berücksichtigt, Mengen sind auf Abnehmer verteilt

typ: XOR