Typ: Synchronisation
empfänger: Prüfe, ob Lieferung einlagerungsfähig ist
fluss: Liefermange entspricht Bestellmenge, Menge in Bestellung ist korrigiert
typ: XOR
Typ: Funktion
empfangener fluss: Liefermange entspricht Bestellmenge -> Prüfe, ob Lieferung einlagerungsfähig ist, Menge in Bestellung ist korrigiert -> Prüfe, ob Lieferung einlagerungsfähig ist
gesendeter fluss: Prüfe, ob Lieferung einlagerungsfähig ist -> Lieferung ist einlagerungsfähig, Prüfe, ob Lieferung einlagerungsfähig ist -> Lieferzustand ist zu verändern
Typ: Ereignis
empfangener fluss: Vergleiche Lieferschein mit Bestellmange
gesendeter fluss: Überprüfung der Ware, Prüfe, ob Lieferung einlagerungsfähig ist
empfangener fluss: Korrigiere Menge in Bestellung
gesendeter fluss: Prüfe, ob Lieferung einlagerungsfähig ist, Überprüfung der Ware