Pr-1st-1.1-m07-Slajd20: Różnice pomiędzy wersjami

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 $Σ^{0} = Σ (τ_{0})$ znacznik znajduje się w procesie $P_{1}$ , a wszystkie kolejki $o u t L o g_{i}$ , $i n L o g_{i}$ , (dla $i = 1, 2, 3$ ) – są puste.

Tym samym:

$Σ (τ_{0}) =$	$⟨ ⟨ p r e s e n t_{1} (τ_{0}) = T r u e$	$o u t L o g_{1} (τ_{0}) = \emptyset$	$i n L o g_{1} (τ_{0}) = \emptyset ⟩$
	$⟨ p r e s e n t_{2} (τ_{0}) = F a l s e$	$o u t L o g_{2} (τ_{0}) = \emptyset$	$i n L o g_{2} (τ_{0}) = \emptyset ⟩$
	$⟨ p r e s e n t_{3} (τ_{0}) = F a l s e$	$o u t L o g_{3} (τ_{0}) = \emptyset$	$i n L o g_{3} (τ_{0}) = \emptyset ⟩ ⟩$

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

@@ Linia 10: / Linia 10: @@
 {|
 |<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-Slajd20: Różnice pomiędzy wersjami

Aktualna wersja na dzień 22:18, 11 wrz 2023

Modele stanów globalnych – przykład 1 (1)

Menu nawigacyjne

Działania na stronie

Opcje strony

Narzędzia osobiste

Nawigacja

Szukaj

Narzędzia