Pr-1st-1.1-m05-Slajd08

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Zakleszczenie w modelu jednostkowym

Zakleszczenie w modelu jednostkowym

W modelu jednostkowym warunkiem uaktywnienia pasywnego procesu Pi jest przybycie wiadomości od ściśle określonego, jednego nadawcy. Tak więc dla każdego zbioru warunkującego , . Wówczas:


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