Verzweigung

Inhalt
Verzweigung
Verzweigung

Verzweigung

Die Synchronisation verknüpft Flüsse zwischen Prozessen. Antivalenz (XOR) bedeutet entweder, oder (nur exakt ein Fall darf eintreten). Disjunktion (OR) bedeutet oder (ein oder mehrere Fälle sind denkbar) und Konjunktion (AND) bedeutet alle Fälle müssen eintreten.

Eigenschaften

Wertebereiche

Verzweigung.sender

Fluss.sender

fluss [min:0, max:100]

Struktur: Menge


Wertebereiche

Ereignis.gesendeter fluss

Synchronisation / Verzweigung.empfänger

Verzweigung.fluss

Funktion.gesendeter fluss

sender [min:0, max:1]

Struktur: Menge


Wertebereiche

Dynamischer Wertebereich

typ [min:0, max:1]

Struktur: Menge

Objekte von 'Verzweigung'