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 $\mathrm{\Pi }=⟨\mathrm{\Sigma },{\mathrm{\Sigma }}^0,\mathrm{\Lambda },\mathrm{\Phi }⟩$ utożsamia się z ciągiem ${\mathrm{\Sigma }}^0,E^1,{\mathrm{\Sigma }}^1,E^2,\dots ,{\mathrm{\Sigma }}^S,E^{S+1},{\mathrm{\Sigma }}^{S+1}$, składającym się naprzemiennie ze stanów i zdarzeń, takim że dla każdego $u$, $0\le u\le s$, $⟨{\mathrm{\Sigma }}^u,E^{u+1},{\mathrm{\Sigma }}^{u+1}⟩\ni \mathrm{\Phi }$.

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