Pr-1st-1.1-m03-Slajd11

Historia wykonania

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

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

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