Pr-1st-1.1-m03-Slajd11: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „<math> ” na „<math>” |
||
| Linia 3: | Linia 3: | ||
[[Image:pr-1st-1.1-m03-Slajd11.png|Historia wykonania]] | [[Image:pr-1st-1.1-m03-Slajd11.png|Historia wykonania]] | ||
Każdemu wykonaniu <math> \mathit{\Upsilon} \in \boldsymbol{\Upsilon}</math> | Każdemu wykonaniu <math>\mathit{\Upsilon} \in \boldsymbol{\Upsilon}</math> | ||
procesu <math>\Pi</math>, odpowiada pewien ciąg stanów | procesu <math>\Pi</math>, odpowiada pewien ciąg stanów | ||
<math>\mathit{\Sigma} ^0, \mathit{\Sigma} ^1, \ldots, \mathit{\Sigma} ^S, \mathit{\Sigma} ^{S+1}</math>, nazywany '''śladem wykonania''' ('''realizacji'') '''procesu''' <math>\mathit{\Pi}</math>, oraz ciąg zdarzeń <math>E^0, E^1, E^2, \ldots, E^S, E^{S+1}</math>, | <math>\mathit{\Sigma} ^0, \mathit{\Sigma} ^1, \ldots, \mathit{\Sigma} ^S, \mathit{\Sigma} ^{S+1}</math>, nazywany '''śladem wykonania''' ('''realizacji'') '''procesu''' <math>\mathit{\Pi}</math>, oraz ciąg zdarzeń <math>E^0, E^1, E^2, \ldots, E^S, E^{S+1}</math>, | ||
| Linia 11: | Linia 11: | ||
Podobnie jak dla procesu sekwencyjnego, kolejne zdarzenia | Podobnie jak dla procesu sekwencyjnego, kolejne zdarzenia | ||
<math> E^u, E^{u+1}</math> realizacji procesu <math>\mathit{\Pi}</math> określają interwał czasu globalnego, a stan procesu <math>\mathit{\Pi}</math> w tym interwale definiuje dotychczasowa historia <math>\Xi ^u</math> realizacji procesu. W efekcie stan <math>\Sigma ^u</math> | <math>E^u, E^{u+1}</math> realizacji procesu <math>\mathit{\Pi}</math> określają interwał czasu globalnego, a stan procesu <math>\mathit{\Pi}</math> w tym interwale definiuje dotychczasowa historia <math>\Xi ^u</math> realizacji procesu. W efekcie stan <math>\Sigma ^u</math> | ||
można utożsamiać z historią <math>\Xi ^u</math>, i powiedzieć, że zdarzenia historii <math>\Xi ^u</math> | można utożsamiać z historią <math>\Xi ^u</math>, i powiedzieć, że zdarzenia historii <math>\Xi ^u</math> | ||
należą do stanu <math>\mathit{\Sigma} ^u</math>. | należą do stanu <math>\mathit{\Sigma} ^u</math>. | ||
[[pr-1st-1.1-m03-Slajd10 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd12 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd10 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd12 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:31, 5 wrz 2023
Historia wykonania
Każdemu wykonaniu procesu , odpowiada pewien ciąg stanów , nazywany śladem wykonania ('realizacji) procesu , oraz ciąg zdarzeń , nazywany historią wykonania (realizacji) procesu. Historię , oznaczamy przez , a zbiór historii - przez .
Podobnie jak dla procesu sekwencyjnego, kolejne zdarzenia realizacji procesu określają interwał czasu globalnego, a stan procesu w tym interwale definiuje dotychczasowa historia realizacji procesu. W efekcie stan można utożsamiać z historią , i powiedzieć, że zdarzenia historii należą do stanu .
