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