Pr-1st-1.1-m02-Slajd52

Model OR-AND

W modelu OR-AND zbiór warunkujący ${{𝒟}}_i$ pasywnego procesu Pi jest zdefiniowany jako ${{𝒟}}_i^1\cup {{𝒟}}_i^2\cup \dots \cup {{𝒟}}_i^{q_i}$, gdzie dla każdego naturalnego $u$, $1\le u\le q_i$, ${{𝒟}}_i^u\subseteq {𝒫}$.

Proces staje się aktywny po otrzymaniu wiadomości od każdego z procesów tworzących zbiór ${{𝒟}}_i^1$ lub od każdego z procesów tworzących zbiór ${{𝒟}}_i^2$ lub ... lub od każdego z procesów tworzących zbiór ${{𝒟}}_i^{q_i}$.

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