Exercise09 various updates to all subtitle files

Uebungen/Blatt09/Exercise09-Task1-de.sbv

@@ -171,7 +171,7 @@ was daraus möglich ist.
 
 0:03:03.900,0:03:07.260
 t1 ist nicht möglich, denn es gibt kein Token
-in null.
+in t1.
 
 0:03:07.260,0:03:11.800
 Damit ist die Vorbedingung nicht gegeben und
@@ -493,7 +493,7 @@ lebendig.
 
 0:09:31.890,0:09:38.990
 Stark lebendig heißt einfach nur, dass von
-jeder Markierung aus und für jede Transition
+jeder Markierung aus für jede Transition
 
 0:09:38.990,0:09:42.960
 eine Markierung erreichbar ist, die diese
@@ -549,7 +549,7 @@ Jetzt ist die Frage, ob es schwach lebendig
 ist.
 
 0:10:47.660,0:10:53.040
-Schwach lebendig ist nicht ganz so, deswegen
+Schwach lebendig ist nicht ganz so streng, deswegen
 heißt es auch schwach und nicht stark lebendig.
 
 0:10:53.040,0:10:58.180
@@ -698,7 +698,7 @@ zwei Marken in einer Stelle drin liegen, können
 wir sagen, dass es beschränkt ist.
 
 0:13:53.029,0:13:56.500
-Und wir können sagen es ist zwei-beschränkt.
+Und besonders können wir sagen es ist zwei-beschränkt.
 
 0:13:56.500,0:14:02.840
 Und damit haben wir diese Tabellen fertig

Uebungen/Blatt09/Exercise09-Task1-en.sbv

@@ -84,7 +84,7 @@ t3 because you have the required
 
 0:02:59.460,0:03:10.260
 token in S1. Then you reach the already existing
-marking 1, 0, 1. Between these two markings,
+marking (1,0,1). Between these two markings,
 
 0:03:10.260,0:03:20.040
 you can go back and forth because t1 and t2
@@ -99,8 +99,8 @@ From this marking, you can fire t4 because
 t4 requires a token in S2, which we have,
 
 0:03:38.880,0:03:44.580
-and you reach this marking 0,
-0, 2. Finally, you can go from
+and you reach this marking (0,0,2).
+Finally, you can go from
 
 0:03:44.580,0:03:51.660
 this marking to this marking by firing t3,
@@ -127,8 +127,8 @@ and t4. We have all of the possible transitions.
 Everything is used. We fired all transitions.
 
 0:04:35.220,0:04:42.360
-What about this marking? So here we have t1, and
-t1, as I said, it's possible because we have the
+What about this marking? So here we have t1. And
+t1, as I said, is possible because we have the
 
 0:04:42.360,0:04:53.460
 required token, which is a token in S1. What about
@@ -176,10 +176,10 @@ something in S1. We don't have anything in S1.
 
 0:06:28.140,0:06:36.780
 t2 requires something in S2 and we don't
-have anything in S2. t3 requires an S1,
+have anything in S2. t3 requires a token in S1,
 
 0:06:36.780,0:06:43.620
-and t4 requires an S2. So we don't have anything
+and t4 requires a token in S2. So we don't have anything
 in S1 and S2. This is why this is a dead end.
 
 0:06:44.760,0:06:50.700
@@ -211,15 +211,15 @@ t1, t2, t3, t4, occur in the graph. This
 means all of them have been used somehow.
 
 0:07:40.320,0:07:45.420
-So here we have, you see like t1,
+So here we have them, you can see t1,
 t2, t3, t4, everything is mentioned.
 
 0:07:46.560,0:07:58.680
 But this Petri net is not deadlock-free because
 there is this deadlock we discussed before. No
 
 0:07:58.680,0:08:08.640
-arrows is going out of this marking. This Petri
+arrows are going out of this marking. This Petri
 net is also not 1-safe, because for example,
 
 0:08:09.360,0:08:18.180

Uebungen/Blatt09/Exercise09-Task2-de.sbv

@@ -40,7 +40,7 @@ Wir haben etwas, das in t2 reingeht und wir
 haben etwas, das in t3 reingeht.
 
 0:00:55.850,0:01:02.840
-Von s1 gehen null in t1 rein, deswegen steht
+Von s1 gehen null in t2 rein, deswegen steht
 hier eine null.
 
 0:01:02.840,0:01:04.420
@@ -199,7 +199,7 @@ es nicht gibt.
 
 0:04:06.050,0:04:13.129
 Oder t4 könnte von der Anfangsmarkierung
-aus starten.
+aus schalten.
 
 0:04:13.129,0:04:20.190
 Das bedeutet, wenn wir uns das jetzt angucken
@@ -252,7 +252,7 @@ Das bedeutet, wir müssen hier (0,0,1) hinschreiben.
 Ich werde das darunter jetzt zusammenrechnen.
 
 0:05:34.390,0:05:37.470
-Eins plus null ist ein.
+Eins plus null ist eins.
 
 0:05:37.470,0:05:40.730
 Eins plus null ist eins.
@@ -489,7 +489,7 @@ Pärchen mit Nebenläufigkeit haben.
 Unsere Vermutung war also richtig.
 
 0:12:04.720,0:12:10.090
-Das Pärchen ist t1 und t2. Dan gucken wir
+Das Pärchen ist t1 und t2. Dann gucken wir
 weiter.
 
 0:12:10.090,0:12:12.779
@@ -793,10 +793,10 @@ könnte.
 
 0:19:21.230,0:19:27.650
 Wir hatten schon festgestellt, dass t1 und
-t4 nebenläufig sind, sowie t2 und t4 sind
+t4, sowie t2 und t4 nebenläufig
 
 0:19:27.650,0:19:29.120
-nebenläufig.
+sind.
 
 0:19:29.120,0:19:35.770
 Und t3 kann auch nicht schalten, wenn hier
@@ -894,11 +894,11 @@ in s2.
 
 0:22:08.940,0:22:16.670
 Das bedeutet, wenn wir das wieder vergleichen,
-dass eins kleiner ist als eins, null kleiner
+dass eins kleiner gleich eins ist, null kleiner
 
 0:22:16.670,0:22:19.920
-ist als eins, null kleiner ist als null, und
-null kleiner ist als null.
+gleich eins ist, null kleiner gleich null ist, und
+null kleiner gleich null ist.
 
 0:22:19.920,0:22:24.040
 Das bedeutet t1 ist kleiner gleich m0.