Typ: Fluss
empfänger: Treffe Entscheidung über Anlage, Konditionen möglicher Anlagen sind geprüft -> Treffe Entscheidung über Anlage
sender: Risiko möglicher Anlagen ist geprüft
Typ: Synchronisation
empfänger: Treffe Entscheidung über Anlage
fluss: Risiko bestehender Anlagen ist geprüft -> Treffe Entscheidung über Anlage, Konditionen bestehder Anlagen sind geprüft -> Treffe Entscheidung über Anlage, Risiko möglicher Anlagen ist geprüft -> Treffe Entscheidung über Anlage, Konditionen möglicher Anlagen sind geprüft -> Treffe Entscheidung über Anlage
typ: XOR
empfänger: Risiko möglicher Anlagen ist geprüft -> Treffe Entscheidung über Anlage, Treffe Entscheidung über Anlage
sender: Konditionen möglicher Anlagen sind geprüft
Typ: Ereignis
empfangener fluss: Prüfe Risiko möglicher Anlagen
gesendeter fluss: Treffe Entscheidung über Anlage