Pr-1st-1.1-m10-Slajd20

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Dowód twierdzenia 10.1 (2)

Dowód twierdzenia 10.1 (2)


Relacje (1) i (2) zachodzą jednocześnie tylko wówczas, gdy: SC**=SC(τb2)=SC(τe1)=RC(τe1)=RC*


Tym samym w chwili τe1, SC(τe1)=RC(τe1) 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 >>