Excercise07 Updates to all subtitle files

Uebungen/Blatt07/Exercise07-Task1-de.sbv

@@ -178,8 +178,8 @@ Es stand ja auch in der Aufgabe, wenn ein
 Kunde seine Waren aufs Band legt, belegen
 
 0:04:01.970,0:04:20.850
-diese zunächst
-Platz 1.
+diese zunächst Platz 1. Das bedeutet, wenn der Kunde
+etwas auf Platz 1 legt, wird dieser von "leer" zu "voll".
 
 0:04:20.850,0:04:37.550
 Es steht oben, nach erfolgreichem Ablegen
@@ -189,7 +189,7 @@ wechselt der Kunde (bzw. Kassierer) in den
 Zustand beschäftigt.
 
 0:04:39.150,0:04:45.680
-Das bedeutet, der Kunde wechselt von warten,
+Das bedeutet, der Kunde wechselt von wartend,
 während er die Waren ablegt oder sie abgelegt
 
 0:04:45.680,0:04:49.590
@@ -201,7 +201,7 @@ Jetzt ist der Kunde beschäftigt und der Platz
 
 0:04:57.100,0:05:10.569
 Im Text stand, dass, wenn der Kunde beschäftigt
-war, das nach kurzer Zeit wieder wartend wird.
+war, dass er nach kurzer Zeit wieder wartend wird.
 
 0:05:10.569,0:05:18.610
 Wir müssen also von beschäftigt wieder eine

Uebungen/Blatt07/Exercise07-Task1-en.sbv

@@ -97,15 +97,15 @@ empty or full.
 
 0:02:57.019,0:03:06.150
 So, in this case, space two would be empty
-and in this case, space one would be full.
+and space one would be full.
 
 0:03:06.150,0:03:13.920
 So that we have both states for space one
 and for space two.
 
 0:03:13.920,0:03:28.280
-And these places represent states, which were
-always/ either of them has to be selected
+And these places represent states, where
+one of them has to be selected at all times,
 
 0:03:28.280,0:03:34.420
 because a space is either empty or full and
@@ -211,7 +211,7 @@ and space two should be full afterwards.
 
 0:07:01.620,0:07:09.879
 And then again, we can think about the process
-of how the space two becomes empty.
+of how space two becomes empty.
 
 0:07:09.879,0:07:18.970
 So, we have a representation for getting it
@@ -232,7 +232,7 @@ belt is not empty.
 
 0:07:38.470,0:07:45.319
 So this means this transaction should probably
-represent these states, so the cashier is
+represent this state, so the cashier is
 
 0:07:45.319,0:07:53.820
 waiting and space two is full.
@@ -303,7 +303,7 @@ would be going out of waiting and empty but
 we would then have tokens in busy and full.
 
 0:10:07.120,0:10:19.470
-And then again, we could, when we have a token
+And then again, when we have a token
 here, then it could go via this transition
 
 0:10:19.470,0:10:24.720
@@ -333,7 +333,7 @@ And again, after doing that, he could again
 fire this transition, which we already checked
 
 0:11:12.430,0:11:19.060
-that it's still is just one token in each
+is still just one token in each
 column.
 
 0:11:19.060,0:11:24.310
@@ -344,7 +344,7 @@ So we have just one token here and only one.
 
 0:11:27.280,0:11:40.800
 So there's not zero tokens, it's exact exactly
-one token in each/ yeah, call them here, so.
+one token in each column here.
 
 0:11:40.800,0:11:51.640
 And then finally this transition can only
@@ -379,13 +379,13 @@ working as expected, in the sense that no
 
 0:12:47.550,0:13:02.440
 token is additionally added in while executing
-the graph, or that token
+the graph, or that a token
 
 0:13:02.440,0:13:03.790
 gets completely removed.
 
 0:13:03.790,0:13:13.050
-He could check further interactions between
+We could check further interactions between
 those but I think you get the picture of what's
 
 0:13:13.050,0:13:19.220

Uebungen/Blatt07/Exercise07-Task2-de.sbv

@@ -204,11 +204,11 @@ die Nachbedingung ist, dass eine Marke wieder
 rauskommt, also eine Marke auftaucht.
 
 0:04:50.560,0:05:01.070
-Jetzt sind wir schon an einem Punkt, ich nenne
-ihn a., wo keine andere Markierung mehr möglich
+Jetzt sind wir schon an einem Punkt,
+wo keine andere Markierung mehr möglich
 
 0:05:01.070,0:05:02.070
-ist.
+ist. (a.)
 
 0:05:02.070,0:05:07.920
 Es hätte aber auch die Möglichkeit gegeben,
@@ -277,7 +277,7 @@ Dann wären wir jetzt an diesem Punkt, dass
 die Marke hier liegt.
 
 0:06:32.480,0:06:37.380
-Und dann könnte wieder t3 nur schalten.
+Und dann könnte wieder nur t3 schalten.
 
 0:06:37.380,0:06:43.630
 Dann würde die Marke verschwinden als Vorbedingung
@@ -367,11 +367,11 @@ aufgeschrieben.
 Ich hoffe, dass die Lösung trotzdem klar
 daraus hervorgeht.
 
-0:08:49.610,0:08:58.970
+0:08:49.610,0:09:07.500
 Ich schreibe mal noch dazu, Stellenreihenfolge
 (s1,s2,s3,s4).
 
-0:08:58.970,0:09:10.830
+0:09:07.500,0:09:10.830
 Kommen wir jetzt zum allerletzten Petrinetz.
 
 0:09:10.830,0:09:12.800
@@ -491,7 +491,7 @@ Und jetzt sind wir quasi wieder im Startzustand.
 
 0:11:16.980,0:11:24.680
 Mit anderen Worten, dieser Schritt, dass t3
-und t2 abläuft, kann auch je immer und immer
+und t2 abläuft, kann jetzt auch immer und immer
 
 0:11:24.680,0:11:26.440
 und immer wieder im Kreis laufen.

Uebungen/Blatt07/Exercise07-Task2-en.sbv

@@ -1,6 +1,6 @@
 0:00:02.190,0:00:12.000
 Within this task, we shall give a marking
-that has no successful marking and in each
+that has no successor marking and in each
 
 0:00:12.000,0:00:20.510
 case, we shall also say which transitions
@@ -29,7 +29,7 @@ So, anyways, it has to start with T2.
 
 0:01:03.930,0:01:13.990
 So, we can start with T2 and when we process
-this transaction, when we fire it then there
+this transition, when we fire it then there
 
 0:01:13.990,0:01:23.829
 will be markings in S2 and S3 because of these
@@ -50,8 +50,8 @@ So, when we do that, we remove one token from
 S2 and add a token in S1.
 
 0:01:56.640,0:02:08.209
-And now, what is another reachable marking
-is we can still fire T3.
+And now, there is still another reachable marking
+as we can still fire T3.
 
 0:02:08.209,0:02:17.530
 And when we do this, so let me properly remove
@@ -63,7 +63,7 @@ this token here as well.
 
 0:02:24.620,0:02:31.080
 And then we are in this marking here now,
-we can find no more transition.
+we can fire no more transition.
 
 0:02:31.080,0:02:35.550
 So, we reached a final marking.
@@ -73,7 +73,7 @@ And now we can name actually this marking
 as we know which marking it is.
 
 0:02:47.880,0:03:02.790
-And it is in S1 there are two tokens and in
+In S1 there are two tokens and in
 S2, there are zero tokens.
 
 0:03:02.790,0:03:13.989
@@ -136,7 +136,7 @@ quite promising so we could choose T2 to fire
 
 0:05:00.699,0:05:10.430
 and in this case we would get to this point
-here where/ so, well this was the sequence,
+here where... So, well this was the sequence.
 
 0:05:10.430,0:05:15.100
 I'll write it down here below.
@@ -147,7 +147,7 @@ in the final marking because there is no transition
 
 0:05:23.260,0:05:30.479
 that we can fire now because T2 requires a
-token in S1 as well does T1, and T3 requires
+token in S1 and so does T1, and T3 requires
 
 0:05:30.479,0:05:31.870
 a token in S2.
@@ -201,15 +201,15 @@ one token in S3.
 And now we’ve reached a different marking.
 
 0:07:12.250,0:07:28.229
-So, in this case, so this one should be the
+So, in this case, this one should be the
 same, but S4 would be one in this case.
 
 0:07:28.229,0:07:31.990
-And let me write this arrow again.
+Let me write this arrow again.
 
 0:07:31.990,0:07:44.400
 So, S4 would be one and in order to reach
-this sequence, we execute it first of all
+this sequence, we executed first of all
 
 0:07:44.400,0:07:54.539
 T1 then T3, and then T2.
@@ -226,8 +226,8 @@ So now in this state, we could once more fire
 T1.
 
 0:08:16.449,0:08:33.070
-So, by firing T1 at this stage we get to token
-into S2 and removing it from S1.
+So, by firing T1 at this stage we get the token
+into S2 and remove it from S1.
 
 0:08:33.070,0:08:40.360
 And now we can fire only one transition again
@@ -241,11 +241,11 @@ in S4 and again a token in S1 and the token
 in S2 is removed.
 
 0:08:53.470,0:09:08.709
-So (?roughly) we can fire T3 here once more
+So we can fire T3 here once more
 and then again we can either fire T2 which
 
 0:09:08.709,0:09:14.200
-we get a token here and we have reached a
+will get the token here and we have reached a
 final marking as we can fire no more transition
 
 0:09:14.200,0:09:15.450
@@ -270,7 +270,7 @@ finally fire T2 but there are no further options
 but cycling in this case.
 
 0:09:52.160,0:09:57.959
-Now let's consider the last Petri Net in three.
+Now let's consider the last Petri Net N3.
 
 0:09:57.959,0:10:05.230
 And in this case, there is only T3 active,
@@ -306,7 +306,7 @@ So I can put this token back in here and we
 add a token in S4.
 
 0:10:59.200,0:11:19.230
-And this was call it T3 and we could now either
+And this, i'll call it T3, and we could now either
 fire T1 or T2 because both just require a
 
 0:11:19.230,0:11:27.180
@@ -321,11 +321,11 @@ We remove a token from S4 and get a token
 into S1.
 
 0:11:39.850,0:11:51.991
-So now this is marking without successor because
+So now this is a marking without successor because
 now we can't fire any transition anymore.
 
 0:11:51.991,0:11:59.200
-T1, and T2, require both a token in S4, and
+T1, and T2, both require a token in S4, and
 T3 requires a token in S3.
 
 0:11:59.200,0:12:05.850
@@ -370,7 +370,7 @@ Or we could again fire T3 and then T2, so
 either of these sequences would be okay.
 
 0:13:40.269,0:13:49.990
-So, for instance, T2/T3/T1 would be another
+So, for instance, T3/T2/T3/T1 would be another
 option of a sequence that will lead to the
 
 0:13:49.990,0:13:55.699

Uebungen/Blatt07/Exercise07-Task3-de.sbv

@@ -36,7 +36,7 @@ da noch ein Pfeil drauf zeigen.
 
 0:01:05.180,0:01:14.350
 Von der Startmarkierung s1 gehen zwei Pfeile
-aus, da können wir gucken, in welche Transaktion.
+aus, da können wir gucken, in welche Transitionen.
 
 0:01:14.350,0:01:16.590
 Einmal hier hin und einmal hier hin.
@@ -68,10 +68,10 @@ Dann schreiben wir das auf.
 
 0:01:49.890,0:02:00.590
 Wir haben jetzt also eine Marke in s1, eine
-Marke in s2, und null Marken in s3 und in
+Marke in s2, und null Marken in s3 und s4
 
 0:02:00.590,0:02:06.300
-s4. t1 kann nochmal feuern, warum nicht?
+t1 kann nochmal feuern, warum nicht?
 
 0:02:06.300,0:02:09.750
 Die Vorbedingung ist eine Marke, eine haben
@@ -157,7 +157,7 @@ an Stelle s3 und null an Stelle s4.
 
 0:03:58.459,0:04:04.640
 Wir zeichnen wieder einen Pfeil dahin und
-schreiben dran, welch Transaktion, nämlich
+schreiben dran, welche Transaktion, nämlich
 
 0:04:04.640,0:04:07.380
 t2, geschaltet hat.
@@ -182,7 +182,7 @@ lösche ich die.
 
 0:04:25.510,0:04:39.789
 Und es kommt als Nachbedingung eine in s4
-und als Nachbedingung eine in s2 hinein.
+und eine in s2 hinein.
 
 0:04:39.789,0:04:48.080
 Also sind wir jetzt wieder in dem Zustand,
@@ -233,7 +233,7 @@ Was kann hier schalten?
 
 0:05:41.050,0:05:47.860
 Hier könnte zum Beispiel t4 schalten, weil
-das ja eine Vorbedingung ist, wenn t4 schaltet.
+s4 ja eine Vorbedingung ist.
 
 0:05:47.860,0:05:52.430
 Dann geht die Marke hier raus und da rein.