Pr-1st-1.1-m10-Slajd20

Z Studia Informatyczne
Wersja z dnia 16:04, 7 wrz 2006 autorstwa Szopen (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
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 >>