Pr-1st-1.1-m02-Slajd10

Zbiory procesów sąsiednich

Przyjmujemy ponadto, że:

${{𝒫}}_i^{IN}=P_j::⟨P_i,P_j⟩\in {{𝒞}}_i^{IN}$

${{𝒫}}_i^{OUT}=P_j::⟨P_i,P_j⟩\in {{𝒞}}_i^{OUT}$

Zbiory ${{𝒫}}_i^{IN}$ i ${{𝒫}}_i^{OUT}$ są zbiorami procesów sąsiednich (incydentnych), odpowiednio wejściowych i wyjściowych, procesu $P_i$.

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