Mengen je Abnehmer sind angegeben

Typ: Ereignis

empfangener fluss: Gib Menge je Abnehmer an

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

Typ: Funktion

empfangener fluss: Abnehmer sind nicht zu gruppieren

gesendeter fluss: Mengen je Abnehmer sind angegeben

Typ: Synchronisation

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

fluss: Mengen je Abnehmer sind angegeben, Differenzen sind berücksichtigt -> Prüfe, ob in einen Prozess zurückverzweigt wird, Mengen sind auf Abnehmer verteilt -> Prüfe, ob in einen Prozess zurückverzweigt wird

typ: XOR