transformierte

"Diese Folie zeigt nun das transformierte Constraint aus dem Anti-Schlupf-Beispiel.
Im oberen Teil sind beiden Queue-Plätze der vorangegangenen Folie zu sehen.
Unten sieht man den Queue-Platz der Motor-Instanz.
Das gelb unterlegte Constraint-Netz ist als eine globale Überwachungsstruktur zu verstehen, die das Verhalten des übrigen Netzes nicht verändert.
Das Constraint-Netz enthält zwei verbotene bzw. tote Transitionen.
Ein Konzessionieren dieser Transitionen signalisiert die Verletzung des korrespondierenden Constraints.

Eine detailliertere Beschreibung kann in der Kürze leider nicht erfolgen."