Kreuzung

Die Kreuzung wird verwendet, um verschiedene Transitionen ohne verbindende Zustände hintereinander zu schalten. Es muss dabei aber gelten, dass an jeder Kreuzung mindestens je eine eingehende und ausgehende Transistion vorhanden ist. Die Transitionen mussen in ihrer gesamten Spezifikation übereinstimmen, ansonsten können sie nicht die Kreuzung verwenden. Diese ist im Gegensatz zur Entscheidung statisch.

Abbildung 67: Bsp. Kreuzung