Pr-1st-1.1-m10-Slajd20

Dowód twierdzenia 10.1 (2)

Relacje (1) i (2) zachodzą jednocześnie tylko wówczas, gdy: $SC^{**}=SC(\tau _{b}^{2})=SC(\tau _{e}^{1})=RC(\tau _{e}^{1})=RC^{*}$

Tym samym w chwili $\tau _{e}^{1}$, $SC(\tau _{e}^{1})=RC(\tau _{e}^{1})$ a to oznacza, że wszystkie kanały są puste, a więc wystąpiło zakończenie przetwarzania.

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