Pr-1st-1.1-m05-Slajd16

Przykład – model jednostkowy

Pierwszy z grafów przedstawia zakleszczenie w modelu jednostkowym. Zbiory warunkujące są następujące:

${{𝒟}}_1=\{P_4\}$,
${{𝒟}}_2=\{P_4\}$,
${{𝒟}}_3=\{P_2\}$,
${{𝒟}}_4=\{P_3\}$. 

W analizowanym stanie zachodzi predykat $deadlock({ℬ})$, dla Parser nie mógł rozpoznać (nieznana funkcja „\math”): {\displaystyle \mathcal{B} = \{ P_1, P_2, P_3, P_3 \} <\math> [[pr-1st-1.1-m05-Slajd15 | << Poprzedni slajd]] | [[pr-1st-1.1-m05-toc|Spis treści ]] | [[pr-1st-1.1-m05-Slajd17 | Następny slajd >>]]}