Pr-1st-1.1-m07-Slajd20: 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 1 pośredniej wersji utworzonej przez tego samego użytkownika) | |||
| Linia 9: | Linia 9: | ||
{| | {| | ||
|<math>\mathit \Sigma(\tau _0) = </math> | |<math>\mathit \Sigma(\tau _0) =</math> | ||
|<math> \langle \langle present _1(\tau _0) = True </math> | |<math>\langle \langle present _1(\tau _0) = True</math> | ||
|<math> outLog_1 (\tau _0) = \emptyset </math> | |<math>outLog_1 (\tau _0) = \emptyset</math> | ||
|<math> inLog_1(\tau _0) = \emptyset \rangle </math> | |<math>inLog_1(\tau _0) = \emptyset \rangle</math> | ||
|- | |- | ||
| | | | ||
|<math> \langle present_2(\tau _0) = False </math> | |<math>\langle present_2(\tau _0) = False</math> | ||
|<math> outLog_2(\tau _0) = \emptyset </math> | |<math>outLog_2(\tau _0) = \emptyset</math> | ||
|<math> inLog_2(\tau _0) = \emptyset \rangle </math> | |<math>inLog_2(\tau _0) = \emptyset \rangle</math> | ||
|- | |- | ||
| | | | ||
|<math> \langle present_3 (\tau _0) = False </math> | |<math>\langle present_3 (\tau _0) = False</math> | ||
|<math> outLog_3 (\tau _0) = \emptyset </math> | |<math>outLog_3 (\tau _0) = \emptyset</math> | ||
|<math> inLog_3(\tau _0) = \emptyset \rangle \rangle </math> | |<math>inLog_3(\tau _0) = \emptyset \rangle \rangle</math> | ||
|} | |} | ||
[[pr-1st-1.1-m07-Slajd19 | << Poprzedni slajd]] | [[pr-1st-1.1-m07-toc|Spis treści ]] | [[pr-1st-1.1-m07-Slajd21 | Następny slajd >>]] | [[pr-1st-1.1-m07-Slajd19 | << Poprzedni slajd]] | [[pr-1st-1.1-m07-toc|Spis treści ]] | [[pr-1st-1.1-m07-Slajd21 | Następny slajd >>]] | ||
Aktualna wersja na dzień 22:18, 11 wrz 2023
Modele stanów globalnych – przykład 1 (1)
Zakładamy, że w globalnym stanie początkowym znacznik znajduje się w procesie , a wszystkie kolejki , , (dla ) – są puste.
Tym samym:
