Zu dieser Karteikarte gibt es einen kompletten Satz an Karteikarten. Kostenlos!

Transitionsverzweigung abhängig vom Zustand anderer Prozesse. Es können unterschiedliche Transitionen beim gleichen Puls durchgeführt werden.

Es gibt einen inspizierenden Prozess und einer oder mehrere inspizierte Prozesse. Das Gate definiert eine Boolsche Funktion und entscheided bei der Transitionsverzweigung. Definiert durch das State-Inspection Net.