Typ: Fluss
empfänger: Ware ist verkaufsfähig
sender: Prüfe, ob Ware verkaufsfähig ist, Prüfe, ob Ware verkaufsfähig ist -> Ware ist nicht verkaufsfähig
Typ: Ereignis
empfangener fluss: Prüfe, ob Ware verkaufsfähig ist
gesendeter fluss: Prüfe, welche Einlagerungsart verwendet werden soll
Typ: Funktion
empfangener fluss: Ware ist am Lager
gesendeter fluss: Prüfe, ob Ware verkaufsfähig ist -> Ware ist verkaufsfähig, Prüfe, ob Ware verkaufsfähig ist -> Ware ist nicht verkaufsfähig
empfänger: Ware ist nicht verkaufsfähig
sender: Prüfe, ob Ware verkaufsfähig ist, Prüfe, ob Ware verkaufsfähig ist -> Ware ist verkaufsfähig