Pr-1st-1.1-m02-Slajd09: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 4: | Linia 4: | ||
Zbiór wszystkich kanałów incydentnych procesu <math>P_i</math> | Zbiór wszystkich kanałów incydentnych procesu <math>P_i</math> | ||
oznaczymy przez <math>\mathcal{C | oznaczymy przez <math>\mathcal{C}_i</math>, a zbiór kanałów wejściowych i wyjściowych tego procesu odpowiednio przez | ||
<math>\mathcal{C}_i^{IN}</math> i <math>\mathcal{C}_i^{OUT}</math>. Tak więc, | <math>\mathcal{C}_i^{IN}</math> i <math>\mathcal{C}_i^{OUT}</math>. Tak więc, | ||
:<math>\mathcal{C}_i^{IN}= \mathcal{C}_i^{IN} \cup \mathcal{C}_i^{OUT}</math> | :<math>\mathcal{C}_i^{IN}= \mathcal{C}_i^{IN} \cup \mathcal{C}_i^{OUT}</math> |
Aktualna wersja na dzień 15:48, 7 wrz 2006
Zbiory kanałów
Zbiór wszystkich kanałów incydentnych procesu oznaczymy przez , a zbiór kanałów wejściowych i wyjściowych tego procesu odpowiednio przez i . Tak więc,