Pr-1st-1.1-m07-Slajd20

Modele stanów globalnych – przykład 1 (1)

Zakładamy, że w globalnym stanie początkowym ${\mathrm{\Sigma }}^0=\mathrm{\Sigma }({\tau }_0)$ znacznik znajduje się w procesie $P_1$, a wszystkie kolejki $outLo{g}_i$, $inLo{g}_i$, (dla $i=1,2,3$) – są puste.

Tym samym:

$\mathrm{\Sigma }({\tau }_0)=$	$⟨⟨presen{t}_1({\tau }_0)=True$	$outLo{g}_1({\tau }_0)=\mathrm{\varnothing }$	$inLo{g}_1({\tau }_0)=\mathrm{\varnothing }⟩$
	$⟨presen{t}_2({\tau }_0)=False$	$outLo{g}_2({\tau }_0)=\mathrm{\varnothing }$	$inLo{g}_2({\tau }_0)=\mathrm{\varnothing }⟩$
	$⟨presen{t}_3({\tau }_0)=False$	$outLo{g}_3({\tau }_0)=\mathrm{\varnothing }$	$inLo{g}_3({\tau }_0)=\mathrm{\varnothing }⟩⟩$

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