Typ: Fluss
empfänger: Ware kann repariert werden
sender: Prüfe, ob Ware zu reparieren ist, Prüfe, ob Ware zu reparieren ist -> Ware kann nicht repariert werden
Typ: Ereignis
empfangener fluss: Prüfe, ob Ware zu reparieren ist
gesendeter fluss: Prüfe, ob Ware eingelagert werden soll
Typ: Funktion
empfangener fluss: Retoure wird akzeptiert
gesendeter fluss: Prüfe, ob Ware zu reparieren ist -> Ware kann repariert werden, Prüfe, ob Ware zu reparieren ist -> Ware kann nicht repariert werden
empfänger: Ware kann nicht repariert werden
sender: Prüfe, ob Ware zu reparieren ist, Prüfe, ob Ware zu reparieren ist -> Ware kann repariert werden