Typ: Verzweigung
fluss: Differenz zwischen Aufteiler- und Gesamtmenge, Mengen sind auf Abnehmer verteilt
sender: Verteile die Mengen auf die Abnehmergruppen
typ: XOR
Typ: Ereignis
empfangener fluss: Verteile die Mengen auf die Abnehmergruppen
gesendeter fluss: Berücksichtige Differenzen bei der Aufteilung
gesendeter fluss: Prüfe, ob in einen Prozess zurückverzweigt wird
Typ: Funktion
empfangener fluss: Abnehmergruppe ist festzulegen
gesendeter fluss: Verteile die Mengen auf die Abnehmergruppen -> Differenz zwischen Aufteiler- und Gesamtmenge, Verteile die Mengen auf die Abnehmergruppen -> Mengen sind auf Abnehmer verteilt