Pr-1st-1.1-m03-Slajd07

Wykonanie częściowe procesu

Zajście zdarzenia w którymkolwiek z procesów implikuje zmianę jego stanu, a tym samym zmianę stanu globalnego. Ponieważ zdarzenia są z założenia atomowe, można przyjąć, że w każdej chwili zachodzi co najwyżej jedno zdarzenie. Stąd też, częściowe wykonanie procesu rozproszonego ${\mathit {\Pi }}=\left\langle {\boldsymbol {\Sigma }},{\boldsymbol {\Sigma }}^{0},{\mathit {\Lambda }},{\mathit {\Phi }}\right\rangle$ utożsamia się z ciągiem ${\mathit {\Sigma }}^{0},E^{1},{\mathit {\Sigma }}^{1},E^{2},\ldots ,{\mathit {\Sigma }}^{S},E^{S+1},{\mathit {\Sigma }}^{S+1}$, składającym się naprzemiennie ze stanów i zdarzeń, takim że dla każdego $u$, $0\leq u\leq s$, $\left\langle {\mathit {\Sigma }}^{u},E^{u+1},{\mathit {\Sigma }}^{u+1}\right\rangle \ni {\mathit {\Phi }}$.

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