Pr-1st-1.1-m02-Slajd52

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Model OR-AND

Model OR-AND

W modelu OR-AND zbiór warunkujący pasywnego procesu Pi jest zdefiniowany jako , gdzie dla każdego naturalnego , , .

Proces staje się aktywny po otrzymaniu wiadomości od każdego z procesów tworzących zbiór lub od każdego z procesów tworzących zbiór lub ... lub od każdego z procesów tworzących zbiór .


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