Typ: Fluss
empfänger: Treffe Entscheidung über Anlage, Risiko bestehender Anlagen ist geprüft -> Treffe Entscheidung über Anlage
sender: Konditionen bestehder Anlagen sind 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: Treffe Entscheidung über Anlage, Konditionen bestehder Anlagen sind geprüft -> Treffe Entscheidung über Anlage
sender: Risiko bestehender Anlagen ist geprüft
Typ: Ereignis
empfangener fluss: Prüfe Konditionen bestehender Anlagen
gesendeter fluss: Treffe Entscheidung über Anlage