diff --git a/Uebungen/Blatt07/Exercise07-Task1-de.sbv b/Uebungen/Blatt07/Exercise07-Task1-de.sbv index c32986d..9860775 100644 --- a/Uebungen/Blatt07/Exercise07-Task1-de.sbv +++ b/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 diff --git a/Uebungen/Blatt07/Exercise07-Task1-en.sbv b/Uebungen/Blatt07/Exercise07-Task1-en.sbv index 96a9e9f..c68f78b 100644 --- a/Uebungen/Blatt07/Exercise07-Task1-en.sbv +++ b/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 diff --git a/Uebungen/Blatt07/Exercise07-Task2-de.sbv b/Uebungen/Blatt07/Exercise07-Task2-de.sbv index ed00a22..f4dcc3b 100644 --- a/Uebungen/Blatt07/Exercise07-Task2-de.sbv +++ b/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. diff --git a/Uebungen/Blatt07/Exercise07-Task2-en.sbv b/Uebungen/Blatt07/Exercise07-Task2-en.sbv index 9d8d0ea..578815f 100644 --- a/Uebungen/Blatt07/Exercise07-Task2-en.sbv +++ b/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 diff --git a/Uebungen/Blatt07/Exercise07-Task3-de.sbv b/Uebungen/Blatt07/Exercise07-Task3-de.sbv index f1ff626..0f9f75c 100644 --- a/Uebungen/Blatt07/Exercise07-Task3-de.sbv +++ b/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. diff --git a/Uebungen/Blatt07/Exercise07-Task3-en.sbv b/Uebungen/Blatt07/Exercise07-Task3-en.sbv index 3907953..11676c0 100644 --- a/Uebungen/Blatt07/Exercise07-Task3-en.sbv +++ b/Uebungen/Blatt07/Exercise07-Task3-en.sbv @@ -11,19 +11,19 @@ So, this leads us to our first task which is determining the initial marking. 0:00:25.060,0:00:34.899 -So, first of all, so we look at all the places +So, first of all, we look at all the places and we see that in S1 there are two tokens 0:00:34.899,0:00:39.340 and in S2, S3 and S4 there are zero tokens. 0:00:39.340,0:00:49.230 -And this is our initial state and if you write -it down the state and given the order of these +And this is our initial state and if we write +down the states and given the order of these 0:00:49.230,0:01:01.719 -places, so, we define the place order for -this graph as being state/ place one being +places, we define the place order for +this graph as being place one being 0:01:01.719,0:01:12.290 S1, the second position being place S2 and @@ -76,7 +76,7 @@ So it's only T1 that we can fire because there are tokens in S1. 0:02:39.160,0:02:49.630 -So we can fire T1 and this would lead to the +So we can fire T1 and this would lead to a new state. 0:02:49.630,0:03:06.459 @@ -88,7 +88,7 @@ So, first of all, we can check that we have this marking not named yet. 0:03:12.549,0:03:19.550 -But there's one token, in this one we have +But there's one token in S1 and we have no state referring to that marking. 0:03:19.550,0:03:28.950 @@ -113,7 +113,7 @@ So now we have two options, we can either fire T1 again. 0:04:11.750,0:04:27.190 -So if we do this/ let's do this one first +So if we do this, then we get another token in S2, so we again, 0:04:27.190,0:04:34.470 @@ -126,10 +126,10 @@ this yet, so we create a new state. 0:04:43.990,0:04:54.220 And we have zero tokens in S1 and two tokens -in S2 and zero and S3 and zero in S4 and when +in S2 and zero and S3 and zero in S4 and we 0:04:54.220,0:05:08.160 -you reach this state by going/ again, by firing +reach this state, by firing T1. 0:05:08.160,0:05:15.530 @@ -187,7 +187,7 @@ And it's zero tokens in S1, zero tokens in S2, and one token in S3. 0:07:12.129,0:07:27.139 -And this one’s using this transition here +And this was using this transition here by using transition 2. 0:07:27.139,0:07:41.050 @@ -218,14 +218,13 @@ create a new state. 0:08:27.639,0:08:37.680 And there are zero tokens in S3, there is -one token in S4 and there's one token in/ +one token in S4 and there's one token 0:08:37.680,0:08:45.050 -sorry in S1, and zero tokens there in S2. +in S1, and zero tokens there in S2. 0:08:45.050,0:08:55.470 -And we reached this state by firing transition -three. +And we reached this state by firing T3. 0:08:55.470,0:09:07.360 Now that @@ -248,7 +247,7 @@ But we can fire either T4 or we can fire T1. So let's first of all fire T4. 0:09:33.160,0:09:45.690 -So if we do that, then remove one token from +So if we do that, then we remove one token from S4 and get one token in S1. 0:09:45.690,0:09:51.510 @@ -256,7 +255,7 @@ And now we have to check if this is a state that we've covered already but as we can see 0:09:51.510,0:09:58.279 -as the graph is now as original we know we +the graph is now original, we now have two tokens in S1, we have zero tokens 0:09:58.279,0:10:03.380 @@ -264,7 +263,7 @@ in S2, zero tokens in S3, and zero tokens in S4. 0:10:03.380,0:10:13.330 -So we create no new state, but we create or +So we create no new state, but we add in a transition, which goes from this 0:10:13.330,0:10:23.500 @@ -273,10 +272,10 @@ firing T4. 0:10:23.500,0:10:32.279 And as we haven't covered all the states that -we can reach from this transition, we go back/ +we can reach from this marking, 0:10:32.279,0:10:35.660 -from this marking, we go back to the marking. +we go back to the marking. 0:10:35.660,0:10:48.800 So once more, we go back to this state, this @@ -305,7 +304,7 @@ in S2, we have zero tokens in S1, we have 0:11:46.649,0:12:08.540 one token in S2, and we have one token in -S4, and this one we got there by firing T1. +S4, and we got there by firing T1. 0:12:08.540,0:12:13.040 So that's the label of the edge. @@ -315,14 +314,14 @@ And now that we are in this state, we can fire T4 once more. 0:12:23.000,0:12:30.681 -It can't fire any other transition because +We can't fire any other transition because there are no tokens in S1 and because there 0:12:30.681,0:12:32.940 are no tokens in S3. 0:12:32.940,0:12:38.900 -So that's why we can't fly a T2 and we can't +So that's why we can't fire T2 and we can't fire T3 and we can't fire T1. 0:12:38.900,0:12:42.500 @@ -348,13 +347,13 @@ and this is this state here. 0:13:32.019,0:13:45.380 So we add this edge here, maybe make the graph -a bit more readable by putting it like this +a bit more readable by putting it like this. 0:13:45.380,0:13:53.140 -and this was by actually firing T4. +This was reached by actually firing T4. 0:13:53.140,0:13:57.780 -So we fire T4 and get back to the state. +So we fire T4 and get back to this state. 0:13:57.780,0:14:01.970 And from there, we can continue as mentioned @@ -380,7 +379,7 @@ graph, it's really important to consider every state and consider every transition. 0:14:42.660,0:14:49.160 -And when you add a new state check before +And when you add a new state, check before if the state already exists. 0:14:49.160,0:14:56.540