Pr-1st-1.1-m05-Slajd10: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 12: | Linia 12: | ||
<math>\qquad \forall P_i :: P_i \in \mathcal{B} ( passive_i \land |\mathcal{D}_i|=1 \land </math> | <math>\qquad \forall P_i :: P_i \in \mathcal{B} ( passive_i \land |\mathcal{D}_i|=1 \land </math> | ||
<math> \qquad \mathcal{D} \subseteq \mathcal{B} \land </math> | <math>\qquad \mathcal{D} \subseteq \mathcal{B} \land </math> | ||
<math>\qquad \qquad (\forall P_j :: P_j \in \mathcal{D}_i :: (\neg in\mbox{-}transit_i[j] \land \neg available_i[j]))))</math> | <math>\qquad \qquad (\forall P_j :: P_j \in \mathcal{D}_i :: (\neg in\mbox{-}transit_i[j] \land \neg available_i[j]))))</math> | ||
Wersja z 10:27, 5 wrz 2023
Zakleszczenie w modelu OR
W modelu OR do uaktywnienia procesu wystarczy jedna wiadomość od któregokolwiek z procesów jego zbioru warunkującego . Dlatego:
