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
empfänger: Prüfe, ob in einen Prozess zurückverzweigt wird
fluss: Mengen sind auf Abnehmer verteilt, Mengen je Abnehmer sind angegeben -> Prüfe, ob in einen Prozess zurückverzweigt wird, Prüfe, ob in einen Prozess zurückverzweigt wird
Typ: Fluss
empfänger: Prüfe, ob in einen Prozess zurückverzweigt wird, Prüfe, ob in einen Prozess zurückverzweigt wird
sender: Mengen je Abnehmer sind angegeben
Typ: Ereignis
empfangener fluss: Berücksichtige Differenzen bei der Aufteilung
gesendeter fluss: Prüfe, ob in einen Prozess zurückverzweigt wird
empfangener fluss: Verteile die Mengen auf die Abnehmergruppen