Der alte Sack schrieb am 1.12. 2005 um 12:03:20 Uhr zu
transformierte
Bewertung: 1 Punkt(e)
"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."