Typ: Fluss
empfänger: Ware wird nicht an den Lieferanten geschickt
sender: Prüfe, ob Ware an Lieferanten geschickt wird, Prüfe, ob Ware an Lieferanten geschickt wird -> Ware wird an den Lieferanten geschickt
Typ: Ereignis
empfangener fluss: Prüfe, ob Ware an Lieferanten geschickt wird
Typ: Funktion
empfangener fluss: Ware kann nicht repariert werden
gesendeter fluss: Prüfe, ob Ware an Lieferanten geschickt wird -> Ware wird an den Lieferanten geschickt, Prüfe, ob Ware an Lieferanten geschickt wird -> Ware wird nicht an den Lieferanten geschickt
empfänger: Ware wird an den Lieferanten geschickt
sender: Prüfe, ob Ware an Lieferanten geschickt wird, Prüfe, ob Ware an Lieferanten geschickt wird -> Ware wird nicht an den Lieferanten geschickt