Pr-1st-1.1-m05-Slajd12: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
| Linia 1: | Linia 1: | ||
==Zakleszczenie w modelu OR – AND== | ==Zakleszczenie w modelu OR – AND== | ||
[[Image: | [[Image:Pr-1st-1.1-m05-Slajd12.png|Zakleszczenie w modelu OR – AND]] | ||
W modelu OR-AND zbiór warunkujący pasywnego procesu jest zdefiniowany jako | W modelu OR-AND zbiór warunkujący pasywnego procesu jest zdefiniowany jako | ||
| Linia 9: | Linia 9: | ||
<math>\mathcal{D}_i^u \subseteq \mathcal{P}</math>. | <math>\mathcal{D}_i^u \subseteq \mathcal{P}</math>. | ||
Proces staje się aktywny po otrzymaniu wiadomości: od każdego z procesów tworzących zbiór <math>\mathcal{D}_i^1</math>, lub od każdego z procesów tworzących zbiór | Proces staje się aktywny po otrzymaniu wiadomości: od każdego z procesów tworzących zbiór <math>\mathcal{D}_i^1</math>, lub od każdego z procesów tworzących zbiór | ||
<math>\mathcal{D}_i^2</math>, lub ... lub od każdego z procesów tworzących zbiór <math>\mathcal{D}_i^{qi}</math>. | <math>\mathcal{D}_i^2</math>, lub... lub od każdego z procesów tworzących zbiór <math>\mathcal{D}_i^{qi}</math>. | ||
| Linia 24: | Linia 24: | ||
[[ | [[Pr-1st-1.1-m05-Slajd11 | << Poprzedni slajd]] | [[Pr-1st-1.1-m05-toc|Spis treści ]] | [[Pr-1st-1.1-m05-Slajd13 | Następny slajd >>]] | ||
Wersja z 15:53, 7 wrz 2006
Zakleszczenie w modelu OR – AND
W modelu OR-AND zbiór warunkujący pasywnego procesu jest zdefiniowany jako , gdzie dla każdego naturalnego , , . Proces staje się aktywny po otrzymaniu wiadomości: od każdego z procesów tworzących zbiór , lub od każdego z procesów tworzących zbiór , lub... lub od każdego z procesów tworzących zbiór .
,
