Pr-1st-1.1-m07-Slajd05: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| Linia 7: | Linia 7: | ||
<math>\forall E \forall E'</math> zachodzi: | <math>\forall E \forall E'</math> zachodzi: | ||
:<math>(E' \in \Gamma \land E \mapsto E' ) \Rightarrow (E \in \Gamma ) | :<math>(E' \in \Gamma \land E \mapsto E' ) \Rightarrow (E \in \Gamma ) </math> | ||
Warunek ten oznacza, że jeśli jakieś zdarzenie <math>E'</math> jest elementem konfiguracji spójnej | Warunek ten oznacza, że jeśli jakieś zdarzenie <math>E'</math> jest elementem konfiguracji spójnej | ||
Wersja z 10:48, 5 wrz 2023
Konfiguracja spójna (1)
Konfigurację nazwiemy konfiguracją spójną lub obrazem spójnym jeżeli
zachodzi:
Warunek ten oznacza, że jeśli jakieś zdarzenie jest elementem konfiguracji spójnej (to znaczy, jeżeli ), to również wszystkie zdarzenia , od których przyczynowo zależy (czyli ) również są elementami tej konfiguracji spójnej.
