Pr-1st-1.1-m03-Slajd11

Historia wykonania

Każdemu wykonaniu ${\mathit {\Upsilon }}\in {\boldsymbol {\Upsilon }}$ procesu $\Pi$, odpowiada pewien ciąg stanów ${\mathit {\Sigma }}^{0},{\mathit {\Sigma }}^{1},\ldots ,{\mathit {\Sigma }}^{S},{\mathit {\Sigma }}^{S+1}$, nazywany śladem wykonania ('realizacji) procesu ${\mathit {\Pi }}$, oraz ciąg zdarzeń $E^{0},E^{1},E^{2},\ldots ,E^{S},E^{S+1}$, nazywany historią wykonania (realizacji) procesu. Historię $E^{0},E^{1},E^{2},\ldots ,E^{S},E^{S+1}$, oznaczamy przez $\Xi ^{S}$, a zbiór historii - przez ${\boldsymbol {\Xi }}$.

Podobnie jak dla procesu sekwencyjnego, kolejne zdarzenia $E^{u},E^{u+1}$ realizacji procesu ${\mathit {\Pi }}$ określają interwał czasu globalnego, a stan procesu ${\mathit {\Pi }}$ w tym interwale definiuje dotychczasowa historia $\Xi ^{u}$ realizacji procesu. W efekcie stan $\Sigma ^{u}$ można utożsamiać z historią $\Xi ^{u}$, i powiedzieć, że zdarzenia historii $\Xi ^{u}$ należą do stanu ${\mathit {\Sigma }}^{u}$.

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