Pr-1st-1.1-m02-Slajd54

Dysjunkcyjny model k spośród r

W modelu dysjunkcyjnym k spośród r z każdym pasywnym procesem $P_i$ skojarzony jest zbiór warunkujący ${{𝒟}}_i={{𝒟}}_i^1\cup {{𝒟}}_i^2\cup \dots \cup {{𝒟}}_i^{q_i}$, liczby naturalne $k_i^1,k_i^2,\dots ,k_i^{q_i}$, oraz liczby naturalne $r_i^1,r_i^2,\dots ,r_i^{q_i}$, gdzie dla każdego naturalnego $u$, $1\le u\le q_i$, ${{𝒟}}_i^u\subseteq {𝒫}$, Parser nie mógł rozpoznać (nieznana funkcja „\e”): {\displaystyle 1 \le k_i^u \e r_i^u = |\mathcal{D}_i^u|} .

Proces staje się aktywny po otrzymaniu wiadomości od $k_i^1$ różnych procesów ze zbioru ${{𝒟}}_i^1$, lub math>k_i^2</math> wiadomości od różnych procesów ze zbioru ${{𝒟}}_i^1$, lub ... lub math>k_i^u</math> wiadomości od różnych procesów ze zbioru ${{𝒟}}_i^{qi}$.

<< Poprzedni slajd | Spis treści | Następny slajd >>