Pr-1st-1.1-m02-Slajd14

Predykaty opisujące stan kanału

W tym kontekście, z kanałem można skojarzyć predykaty opisujące poszczególne jego stany:

• empty($C_{i,j}$ ) $\equiv {\mathit{L}}_{i,j}=\mathrm{\varnothing }$

• in-transit($C_{i,j}$ ) $\equiv {\mathit{L}}_{i,j}^T\ne \mathrm{\varnothing }$

• available($C_{i,j}$ ) $\equiv {\mathit{L}}_{i,j}^A\ne \mathrm{\varnothing }$

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