Pr-1st-1.1-m03-Slajd06: Różnice pomiędzy wersjami
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Nie podano opisu zmian |
m Zastępowanie tekstu – „ </math>” na „</math>” |
||
| (Nie pokazano 2 wersji utworzonych przez 2 użytkowników) | |||
| Linia 5: | Linia 5: | ||
Globalna funkcja tranzycji | Globalna funkcja tranzycji | ||
<math>\mathit{\Phi}</math> | <math>\mathit{\Phi}</math> | ||
jest złożeniem funkcji tranzycji procesów składowych, a więc jest zbiorem trójek | |||
<math>\left \langle \mathit{\Sigma}, E, \mathit{\Sigma}' \right \rangle</math>, | <math>\left \langle \mathit{\Sigma}, E, \mathit{\Sigma}' \right \rangle</math>, | ||
dla których istnieje takie <math>k</math>, | dla których istnieje takie <math>k</math>, | ||
<math> 1\le k \le n</math>, że | <math>1\le k \le n</math>, że | ||
<math> \mathit{\Sigma} = \left \langle S_1, S_2, \ldots , S_k, \ldots, S_n \right \rangle </math>, | <math>\mathit{\Sigma} = \left \langle S_1, S_2, \ldots , S_k, \ldots, S_n \right \rangle</math>, | ||
<math> \mathit{\Sigma}'= \left \langle S_1, S_2, \ldots , S_k', \ldots, S_n \right \rangle </math> | <math>\mathit{\Sigma}'= \left \langle S_1, S_2, \ldots , S_k', \ldots, S_n \right \rangle</math> | ||
oraz <math>\left \langle \mathit{\Sigma}, E, \mathit{\Sigma} ' \right \rangle \in \mathcal{F}_k</math> | oraz <math>\left \langle \mathit{\Sigma}, E, \mathit{\Sigma} ' \right \rangle \in \mathcal{F}_k</math> | ||
[[pr-1st-1.1-m03-Slajd05 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd07 | Następny slajd >>]] | [[pr-1st-1.1-m03-Slajd05 | << Poprzedni slajd]] | [[pr-1st-1.1-m03-toc|Spis treści ]] | [[pr-1st-1.1-m03-Slajd07 | Następny slajd >>]] | ||
Aktualna wersja na dzień 10:48, 5 wrz 2023
Globalna funkcja tranzycji
Globalna funkcja tranzycji jest złożeniem funkcji tranzycji procesów składowych, a więc jest zbiorem trójek , dla których istnieje takie , , że , oraz
