Pr-1st-1.1-m02-Slajd53

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Model OR-AND – przykład

Model OR-AND – przykład

Rozważmy przykładowy warunek uaktywnienia procesu , sformułowany następująco: proces zostanie uaktywniony po otrzymaniu wiadomości jednocześnie od procesu i , lub jednocześnie od procesów , i lub jednocześnie od procesów i

W tym wypadku możemy zatem przyjąć, że:

Model OR-AND jest ogólniejszy od podstawowego modelu k spośród r. Model ten redukuje się do modelu k spośród r, gdy podzbiory odpowiadają wszystkim możliwym podzbiorom o liczności zbioru warunkującego o liczności . Przykładowo, jeżeli i formułuje warunek 2 spośród 3, czyli 2 spośród , to można wyrazić jako , a więc jako sumę wszystkich dwuelementowych podzbiorów zbioru .


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