Pr-1st-1.1-m05-Slajd17: 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 8: | Linia 8: | ||
<math>\mathcal{D}_3 = \{P_2\}</math>, | <math>\mathcal{D}_3 = \{P_2\}</math>, | ||
<math>\mathcal{D}_4 = \{P_3\}</math>. | <math>\mathcal{D}_4 = \{P_3\}</math>. | ||
W tym przykładzie <math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \} </math> jest zbiorem zakleszczonych procesów. | W tym przykładzie <math>\mathcal{B} = \{ P_1, P_2, P_3, P_3 \}</math> jest zbiorem zakleszczonych procesów. | ||
[[Pr-1st-1.1-m05-Slajd16 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd18 | Następny slajd >>]] | [[Pr-1st-1.1-m05-Slajd16 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd18 | Następny slajd >>]] |
Aktualna wersja na dzień 10:51, 5 wrz 2023
Przykład – model AND
Następny graf ilustruje zakleszczenie w modelu AND. Mamy tu następujące zbiory warunkujące:
, , , .
W tym przykładzie jest zbiorem zakleszczonych procesów.