Pr-1st-1.1-m05-Slajd17
Z Studia Informatyczne
Przykład – model AND
Następny graf ilustruje zakleszczenie w modelu AND. Mamy tu następujące zbiory warunkujące:
, , , .
W tym przykładzie Parser nie mógł rozpoznać (nieznana funkcja „\math”): {\displaystyle \mathcal{B} = \{ P_1, P_2, P_3, P_3 \} <\math> jest zbiorem zakleszczonych procesów. [[pr-1st-1.1-m05-Slajd16 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd18 | Następny slajd >>]]}