Typ: Fluss
empfänger: Prüfe, ob Bestellung vorliegt, Desadv liegt vor -> Prüfe, ob Bestellung vorliegt
sender: Ersatzlieferschein ist erstellt
Typ: Synchronisation
empfänger: Prüfe, ob Bestellung vorliegt
fluss: Es ist ein Lieferschein vorhanden, Es ist eine Desadv vorhanden, Desadv liegt vor -> Prüfe, ob Bestellung vorliegt, Ersatzlieferschein ist erstellt -> Prüfe, ob Bestellung vorliegt
typ: XOR
empfänger: Prüfe, ob Bestellung vorliegt, Ersatzlieferschein ist erstellt -> Prüfe, ob Bestellung vorliegt
sender: Desadv liegt vor
Typ: Ereignis
empfangener fluss: Erstelle Ersatzlieferschein
gesendeter fluss: Prüfe, ob Bestellung vorliegt