Typ: Funktion
empfangener fluss: Mengen sind auf Abnehmer verteilt -> Prüfe, ob in einen Prozess zurückverzweigt wird, Prüfe, ob in einen Prozess zurückverzweigt wird
gesendeter fluss: Prüfe, ob in einen Prozess zurückverzweigt wird -> Verzweigung in Aktionsabwicklung, Prüfe, ob in einen Prozess zurückverzweigt wird -> Es ist in keinen Prozess zurückzuverzeigen, Prüfe, ob in einen Prozess zurückverzweigt wird -> Verzweige in Disposition mehrstufig
Typ: Fluss
empfänger: 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: 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
empfänger: Verzweigung in Aktionsabwicklung
sender: Prüfe, ob in einen Prozess zurückverzweigt wird, Prüfe, ob in einen Prozess zurückverzweigt wird -> Es ist in keinen Prozess zurückzuverzeigen, Prüfe, ob in einen Prozess zurückverzweigt wird -> Verzweige in Disposition mehrstufig
empfänger: Es ist in keinen Prozess zurückzuverzeigen
sender: Prüfe, ob in einen Prozess zurückverzweigt wird -> Verzweigung in Aktionsabwicklung, Prüfe, ob in einen Prozess zurückverzweigt wird, Prüfe, ob in einen Prozess zurückverzweigt wird -> Verzweige in Disposition mehrstufig
empfänger: Verzweige in Disposition mehrstufig
sender: Prüfe, ob in einen Prozess zurückverzweigt wird -> Verzweigung in Aktionsabwicklung, Prüfe, ob in einen Prozess zurückverzweigt wird, Prüfe, ob in einen Prozess zurückverzweigt wird -> Es ist in keinen Prozess zurückzuverzeigen
