Pr-1st-1.1-m02-Slajd09

Zbiory kanałów

Zbiór wszystkich kanałów incydentnych procesu $P_i$ oznaczymy przez Parser nie mógł rozpoznać (błąd składni): {\displaystyle \mathcal{C|_i} , a zbiór kanałów wejściowych i wyjściowych tego procesu odpowiednio przez ${{𝒞}}_i^{IN}$ i ${{𝒞}}_i^{OUT}$. Tak więc,

${{𝒞}}_i^{IN}={{𝒞}}_i^{IN}\cup {{𝒞}}_i^{OUT}$

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