Typ: Verzweigung
fluss: Ware wird an den Lieferanten geschickt, Ware wird nicht an den Lieferanten geschickt
sender: Prüfe, ob Ware an Lieferanten geschickt wird
typ: XOR
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