Okay. Ton auch da? Sehr schön. Fein. Alles klar.
So, dann letzte Veranstaltung in diesem Jahr hier bei FG2.
Mal kurz zurück. Das Bankiersproblem, was wir da hatten,
war halt, dass wir bestimmtes Kapital haben,
dass wir entsprechend auch die Betriebsmittelzuordnung zugewiesen hatten,
sodass der Bankier sein Kapital verteilt an mehrere Leute und das Problem der Verklemmung entstehen kann,
weil bestimmte Regeln für die Geldvergabe und das Geld handling sozusagen bestehen.
Und da halt das Petrinetz, was dann für ein kleines Beispiel gezeigt hat,
wie man das motivieren kann mit der sozusagen sukzessiven Entgegennahme des
Kredites und der Rückgabe auf einen Schlag am Ende.
So, für das Bild hatten wir dann entsprechend auch Gleichung aufstellen können,
weil wir in so einem Netz dann ja auch sagen können,
okay, was woraufhin wir da in Varianten oder entsprechende Gleichung.
Und hier haben wir dann gesehen an diesem Netz,
was man,
wie das sich entwickelt in Bezug auf die Möglichkeiten,
wo man so hinkommt vom Zustandsraum her und dass das hier
unsichere und dass eben welche sind,
wo man nicht hin möchte,
nämlich die Verklemmungssituation
Und da hatten wir das Beispiel,
wo wir dann jetzt hier sozusagen anfangen und wir schalten sozusagen
die erste Transition und rutschen dann quasi einen weiter.
Wir schalten ein zweites Mal, hutscht auf das nächste oder das,
wenn wir da hinten sind,
wir alle auf einen Schlag wieder zurückgeben an der Stelle hier.
Und dann einfach wieder zum Anfangszustand zurückkommen. Also genau das
lassen wir da eigentlich gerne haben möchten an den Stellen.
Gut. Ja, damit ist sozusagen das im ganz einfachen Fall,
so im zweidimensionalen schon mal klar,
weil da in dem Sinne einen Fall hatten wir noch andere Sachen festgestellt,
dass man Verklemmung und Das waren die Begriffe.
Dann haben wir es für drei uns angeschaut.
Und da trat halt es auf, dass für diese Dreierfall
noch eine spezielle Geschichte dabei war. Nämlich, wenn wir hier reingehen,
dass wir hier drin zwar immer noch beliebig diesen Dreierbereich,
also ausleihen und wieder zurückgehalten würden.
Dass es aber dann für die entsprechende Neuen bzw. acht Vergabegeschichten ist,
9 und 8, entsprechend nicht mehr funktioniert hat,
sodass man da ganz gut sehen kann,
wo die Probleme da entsprechend liegen.
Gut, und man sieht, es gibt relativ viele erreichbare Markierungen.
Etliche sind sicher. Viele sind unsicher
Es gibt einige minimale sichere Markierungen und die kann man halt benutzen,
um sich ein Bild zu verschaffen, wenn man jetzt weiß,
ob man noch was ausgeben darf oder nicht.
Also innerhalb dieser Blackierung bleibt, hat man also kein Problem. Gut,
das heißt, ich muss das nur gegen zehn kleine Markierungen vergleichen,
wenn ich was rausgebe und weiß dann, ob ich weitermachen kann oder nicht.
Anderes Beispiel war dann halt das flexible Fertigungssystem, FMS,
flexible Manufacturing Systems, wo halt es eben darum geht,
wie man irgendwelche Ressourcen verteilt und wie man durch Durchläufe durch das System beschreibt,
indem man dann die Frage hat,
wie viele Teile darf ich sozusagen auf die eingehenden Förderbänder hier liegen und wie viel darf ich sozusagen dann,
also das bleibt jetzt natürlich da auf,
wie viel darf der Roboter entgegennehmen und in seinem Greifarm haben.
Und wie viel darf er auf die Maschinen drauflegen,
wenn eine bestimmte Art von Ablauf durchläuft?
Haben wir natürlich ein sehr einfaches Bild dann dargestellt,
hier haben wir nochmal so eine ähnliche Konstellation mit einem einfachen Greifarm und diversen kleinen Stationen dazwischen,
was dann in einem entsprechenden Bild sich wiederfindet,
wo man irgendwelche Beziehungen hat.
Und man sieht dann halt, hier sind sozusagen immer nur
eine Marke drauf und hier sind mehrere. Das heißt,
man kann so bis zu acht irgendwie acht Einheiten da irgendwie verarbeiten,
wenn hier oben halt nur drei Paletten sind und dann kann man gucken, was da passiert.
So, und dafür jetzt eine saubere Steuerung draufzulegen,
ist dann eins der Fragen, wie man das hinbekommt.
Da kann man so gut Forstsachen machen, lässt dann bestimmte Bereiche
zu oder man fragt halt die minimalen Markierungen ab oder,
oder, oder, oder. Oder man versucht eben im laufenden Betrieb,
wenn sich jetzt die Situation noch ändern,
das noch umzuskettuulen, das erfolgt,
aber dass die Netzstruktur sich ändern kann und da braucht man dann entsprechend andere Darstellungen und das war das,
was wir damit Hilfe vernetzt in den letzten machen.
So, die entsprechende Netze, die dahinter stehen,
die Rinionetze ist auch genau das,
was jetzt in der letzten Übungsaufgabe kommen wird wo es dann entsprechend um eine schrittweise Motivierung mit Netzen geht,
wo ihr sozusagen sukzessiv einen einfachen Ablauf mal beschreiben sollt.
Es geht dann nicht darum,
dass ihr jetzt so eine Steuerung noch entwerfen sollt und so weiter und so fort,
das schenken wir uns an der Stelle, wer Lust hat,
können das gerne mal machen, sich da zu überlegen,
was bei dieser Art von Fertigungsstraße möglich ist,
wenn so zwei,
drei Kleinigkeiten abgefragt und aber im Wesentlichen werdet ihr dort sogar den schrittweisen Entwurf von einfachen Netzen her nochmal sehen.
Das heißt, von Kanalinstanznetzen über PT-Netze, gefärbte Netze,
dann über die Java-Referenznetze und entsprechend mit synchronen Kanälen
die Module dann zu verkoppeln
Sozusagen, wenn ihr der Hauptaufgaben auf dem Blatt,
das andere sind zwei kleine Beweise,
die vielleicht vor Ort eigentlich sein sollten für die Workflow-Eigenschaften.
Okay, so, an der Stelle haben wir jetzt
das Bankiers-Problem als eine der möglichen Lösungen für dieses Problem,
kann man hier auch einsetzen, was aber da nicht optimal ist,
weswegen man mit anderen Verfahren das versucht zu untersuchen.
Bei Bedarf könnt ihr euch das gerne dann hier anschauen. So,
dann kommen wir jetzt nochmal zum Datenbanker,
die letzte Mal schon angesprochen hatte, wo es darum geht,
dass wir also eine Menge von Datenbanken haben Im Grunde von en Prozessen,
die wir dann als DBM,
den Darknet Mark Manager bezeichnen und die sollen eigentlich eine Möglichkeit immer den gleichen Inhalt haben.
Das ist sozusagen eine der einfachen Dinge,
die man da haben möchte mit so einer Datenbank,
dass, wenn ich sie an mehreren Stellen verteilt halte,
dass die eigentlich immer auf dem gleichen Zustand ist.
Und das ist die Frage, wie erreicht man das und
was müssen die Manager jetzt wem bann, wo mitteilen und wer sagt,
was zuerst oder zuletzt oder wie regelt man das?
Dann muss natürlich jeder Manager allen anderen eine Nachricht schicken,
wenn sich bei ihm was geändert hat, müssen alle an informiert werden,
sonst ist ja nicht mehr der gleiche Stand.
Das ist also genau die Wobei natürlich die Frage ist,
wer darf denn eigentlich was verschicken?
Und wie macht man das? Der Mensch muss warten,
bis alle an diese Nachricht dann eben erhalten haben und
die Aktualisierung durchgeführt wurde und eine entsprechende Rückmeldung zurückgesandt wurde.
Erst dann Catermanager wieder in den Zustand inaktiv zurück.
Also er wird aktiv, dann fängt er an zu arbeiten,
verschickt das an alle und anschließend geht es wieder zurück.
So, dabei werden wir die Datenbank noch ihrer Aktualisierung dargestellt,
sondern ist nur ein Nachrichtenaustausch. Das heißt,
um das, was die Datenbankler jetzt hier interessiert,
was passiert denn da genau, das gucken wir uns nicht an,
aber auch das hier nämlich, wie laufen Nachrichten,
damit sich ihre Datenbanken koordinieren,
ist auch Thema bei Datenbanken
Aber das ist jetzt sozusagen hier die abstrakte Sicht nochmal da drauf.
Wir haben so Zustände der Manager inaktiv, Waiting und Performing,
das, was wir da vornehmen können aus diesem,
oder aus dem Text auch rausholen konnten.
Wir haben Nachrichten, Messages,
die von dem Sender zum Receiver gehen und die sind,
das sind eben Tupel,
die sich auch genau den Datenmarktmanagern zusammensetzen und man schickt an sich selbst keine Nachricht.
Das ist das, was da drin steht. Also Nachrichten,
die Menge der Nachrichten sind dann alle Nachrichten von 1 an 2 bis 1
und dann von 2 an 1 und 3 bis N und so weiter.
Alle einmal durch bis alle von 1
bis M minus 1
von dem Enden
Okay, die Zustände der Nachrichtenpuffer sind eben unbenutzt,
wenn ich da gerade nichts benutze, ist das klar,
dann sind die, ist das Scent, Received und Egnoleged,
als weitere Zustandsmöglichkeiten, diese Nachricht da teilhaben kann.
Also Nachrichtenpuffer haben kann. Wenn ich mal einen wechseltigen Ausschluss,
den wir einfach mit Exclusion benennen,
also einfach so einen Markt oder nicht im Grunde genommen,
die Spezifikation für das gefärbte Netz,
haben wir dann eine falsche Abbildungsnummer hier, jetzt leider,
Entschuldigung, ist das, dass wir die Datenbankmanager mit D1 bis DN benennen,
die Nachrichten entsprechend als diese Tuppel darstellen und wir so einen entsprechendes E für Exclusive umgenommen haben.
Variablen, ERS und ES als genau das aus diesem,
sozusagen nur das eine Element,
dann haben wir den Receiver und den Sender und das sind entsprechend Datenbanken,
Datenbank Manager und dann gibt es Funktionen,
die wir uns noch gleich ein bisschen genauer angucken werden,
dass sie also irgendwie den Damming Manager auf eine Multimenge von Nachrichten abbilde.
Das sind nämlich meine zu verschickenden Nachrichten. Der Receiver ist irgendwie sowas,
wo ich für die Nachrichten dann irgendwie abgebildet auf den auf die Datenbankmanager.
Dann haben wir so eine Absolutgeschichte,
wo wir uns irgendwie klar machen müssen, dass wir für einen,
da hat mein Mensch ja auf diesem entsprechenden schwarzen Token abbilden,
sind wir gleich noch sehen, wo das passiert.
Hier drüben. Und hier sind dann die entsprechenden Beschreibungen dazu. So,
hier haben wir den, ach so, hier ist der Receiver,
Entschuldigung, habe ich eben mich weiter ausgeführt,
dass man hier sozusagen das R von dem SR,
aus diesem Tupel halt rausruhen kann.
Es hat entsprechende Projektionen bei dem Tupel auf,
die entsprechend zweite Komponente
Anfangsmarkierung ist so, dass wir am Anfang sagen,
dass die entsprechende Datenbanklenge der Vereine sind, die Nachrichten sind alle da.
Wir haben diesen entsprechenden schwarzen Token dort und die restlichen
sind entsprechend auf Lehrenenge gesetzt. So, das heißt,
indaktiv anused und exclusive haben wir entsprechend markiert. Und naja,
klar, die Nachrichten sollen unbenutzt sein und die Datenbanklenge sind
inaktiv und es gibt eben so einen schwarzen Token,
den man sich greifen kann.
So, das Netz wahrscheinlich ja schon im Kopf,
so etwa, wie das ausschaut,
weil das war das,
was wir hier auch gesehen hatten
So. Hier haben wir sozusagen den einen Token, den greift man sich, entsprechend.
Man schickt dann das Update und Sand Message raus,
packt sich hier auf Waiting für den Sender,
also für das S hier entsprechend und entsprechend hinterher setzt man das Receive Exknowledgements,
die da raus und geht, ist wieder fertig.
Das ist so die Grundidee dabei, was muss ich dafür tun?
Ich muss natürlich alle undused Messages sozusagen hier rausziehen,
mit Main von S, was macht das Main von S an der Stelle?
Nee, das ist eben nur die raus,
die an mich rasiert
Die an wen nochmal, dass die von, von wem mit denen adressiert sind.
Ist das mein von S? Nicht an mich adressiert sind,
ne? Die von S an alle anderen adressiert werden,
weil es ja so, dass jetzt S sozusagen der Sender ist,
der hier reingeht und für den Sender müssen jetzt alle Nachrichten sozusagen auf,
ausgesendet sozusagen gepackt werden hier.
Das heißt, der verschickt dann an alle anderen und damit ist das genau die Idee,
dass die Nachricht von S dann alle anderen rausgeht,
wenn das gleich noch sehen, für ein einfaches Beispiel.
So, und von da aus geht es dann irgendwie weiter,
wobei wir es gleich mal gucken werden, wie das jetzt geht,
nämlich, dass wir hier hingehen und die entsprechenden Nachrichten empfangen.
Jetzt ist die Frage, wer kommt jetzt hier hin?
Was passiert an dieser Stelle? Durch das SR und R
, was passiert hier? Bei dem Receive? Der Fänger
. Jakob, der vorher inaktiv war. Geht dahin,
wenn er nicht inaktiv ist,
dann kann diese Nachricht eben auch nicht
empfangen werden
Genau, kann das eintreten, dass der Empfänger nicht da ist?
Hoffentlich nicht, genau. Hoffentlich ist okay. Man sich selbst
in die Nachricht schicken würde, was man nicht darf.
Genau, man schickt keine Nacht in sich selbst,
deswegen passiert sowas nicht. Genau, jetzt merken wir auch,
warum wir die Nachricht nicht an uns selbst verschicken wollen.
Okay, ja. Und gibt es sonst noch einen Fall,
wo das auftreten kann? Das ist also,
wenn irgendwie zwei was schicken wollen?
Ja? Wir haben den nächstenseitigen Ausschluss durch diese x-tuten Fraktion.
Denn einer jetzt nach da oben,
also wenn einer den Elektivzustand verlässt, dann wird sie abgezogen.
Das Einzige, also dann kann nicht noch einer da oben hin.
Was allerdings passieren kann, ist natürlich, dass, nee,
der kann nicht nach da unten, dass man irgendwo esst,
dann muss... Genau, ich muss zwei Sachen angucken.
Wohin können diese Marken hier verschwinden? Sie können hier
oben reingehen, da kann aber nur eine hingehen,
weil wir da oben diesen wechselseitigen Ausschluss haben.
Und das Nächste ist, der kann euch nicht nach unten verschwinden,
aber wann verschwindet er nach unten?
Naja, genau, wenn er das von SNR sozusagen rausnimmt.
Jetzt ist die Frage, wie viel S von R
können denn da oben drin liegen
Maximal, ein liebes Band. Genau, aber dann könnt
ihr aber deiner doppelt vorkommen, bei minus eins Möglichkeiten.
Bitte? Warum? Ja, ist in Ordnung. Weil
die ja einbeugig sind und quasi ein Darktown-Manager ja ein Blatt noch erschienen ist. Genau,
weil das Raussenden ist genau eindeutig,
ich möchte ja genau von eins bis N sozusagen alle abdecken,
beziehungsweise ziemlich natürlich meine eigenen ID,
sende ich ja genau an die alle und dann kommen die genau nur einmal vor,
das heißt,
jeder empfängt auch nur einmal diese entsprechende Nachricht.
Das heißt, es wird auch nur maximal einmal hier abgezogen.
Okay, was passiert also jetzt hier?
Wir ziehen also jetzt dieses Teil hier ab
Bedeutet denn hier, Receive Message heißt, habe ich jetzt.
So, was muss jetzt passieren inhaltlich?
Ja, muss, dass die Änderung einpflichten.
Und dann muss man darunter das Recht ums Handelnpaket markieren.
Der Name muss halt dann wieder zurückschicken, dass wir das
jetzt gemacht haben. Genau, ne? Das heißt,
der kommt jetzt hier hin und sagt, okay,
ich habe das jetzt empfangen,
dann packe ich erst mal auf Received sozusagen, das hier rein.
Und bin bei Performing. So,
jetzt kann ja während der eine dahin geschaltet hat,
der zweite auch kommen.
Jetzt ändern zwei gleichzeitig an der Datenbank
Ist das nicht ungünstig jetzt? Würden wir
das nicht gerade vermeiden? Ja, kann jetzt passieren,
dass jetzt für eins und für zwei so was hier passiert.
Und wir haben eine Weile quasi eine Nachricht und haben mich
die selber, was ist da der gleiche Absatz?
Ja, okay. Aber sind ja beide in dem Bereich
hier unten jetzt drin mit Performing?
Wieder, wieder, sein Einladen. Genau, die Idee
ist ja gerade, dass jeder seine eigene Datenbank hat.
Das heißt, es stört mich nicht, wenn die lebenläufig arbeiten.
Was möchte ich nämlich gerne haben, weswegen benutzen wir auch gerade Netze?
Ich möchte natürlich, dass sie alle
gleichzeitig arbeiten
Ich will nicht erst den ein, was schicken,
dann den anderen und dann dem Nächsten und dann dem Nächsten.
Das ist sozusagen, das ist wahrscheinlich günstiger,
das gar nicht erst zu machen, sondern gleich die Inhalte zu verschicken,
wenn die Operation nicht zu kompliziert bin. Das heißt also,
dass hier jetzt mehrere Marken drauf liegen können, ist kein Problem,
es können auch mehrere sozusagen alle gleichzeitig hier unten,
dass die Nachricht empfangen und alle gleichzeitig hier entsprechend in diesem Zustand Performing und Received wechseln.
Gut, okay, was passiert dann?
Dann kommt das, was du gerade gesagt hast.
Jo, wir haben ein Sand Egnolishment,
wenn wir denn sozusagen das jetzt hier haben,
schicken wir das wieder raus
So, und auch das kann ich sozusagen asynchron machen oder muss ich auch,
weil ich ja am Rechner eigentlich bin und das dann separat mache und mache jetzt dieses,
sind das Engalishment raus,
ich gehe wieder in inaktiven Zustand und Performing verschwindet halt,
die empfange Nachricht wird gelöscht und es wird eine ignorisch draus gemacht,
wo ich nämlich das SR wieder lehen lege.
So, jetzt kommen wir wieder zurück zum letzten Teil,
nämlich,
dass wir hier dieses Receive Egnoishments hatten,
das habe ich vorhin ja nur so von oben her betrachtet,
da haben wir jetzt genau dieses S-Main sozusagen packe ich
wieder zurück
Hier ist es auch mit meinen, was macht also diese Transition hier alles?
Oder wann schaltet sie? So unten sammelt sie die Nachrichten
ein. Also er hat agnorisch gelandet, also zur Kenntnis
genommene Nachrichten, die man selbst vorher verschickt hat irgendwann.
Und holen sich, wobei man selbst jemand ist,
der vorher im Wartezustand war, der auf die Antwort gewartet hat,
setzt diesenjenigen zurück in den Zustand inaktiv,
setzt den wechselseitigen Ausschuss zurück.
Das ist jetzt einfach eine Aufzügung
motiviert werden
Ja. Wichtig war mir jetzt noch... Genau.
Das ist auch eben dafür, dass man einen Spieler,
der Nachrichten beschädigen kann, indem die wieder auf die News zurückkommen.
Genau. Wichtig waren wir jetzt mal das hier.
Was macht das? Es holt, von denen zur Kenntnis
genommene Nachrichten, diejenigen, die man selbst früher verschickt hat.
Genau. Also alle Nachrichten, die rausgehen,
das wartet immer so lange, bis alle da liegen.
Und erst wenn alle fertig sind,
genau dann wird erst wieder der Zustand zurückgesetzt, ja?
Das würde mich, glaube ich, nicht ganz verstanden.
Aber wenn diese Tensioner,
bitte wahrscheinlich mit Kaffeebändern quasi aus dem Emplonische,
die meinen,
er ist rausziehen kann
Gestartet hat, das System. Also ich meine,
ein System startet, würde ich jetzt ja davon ausgehen,
wenn da das Ganze dezialisieren,
dass quasi keine deutschen Nachrichten da sind,
aber die Anfangsmarkierung hatten wir, wo?
Haben wir eben gerade, oder? Habe ich nicht aufgepasst
? Genau, Entschuldigung, das war beim Zurückgehen,
jetzt bin ich drüber weggesprungen.
Genau, wie startet das System? Ich habe die Systemstruktur,
die Systemstruktur ist jetzt erstmal klar
Genau, so. Und die Anfangsmarkierung ist jetzt so,
dass sich die Datenbankmanager auf die inaktiven Stellen lege,
auf das unused, also das MS,
vollständig drauflege und diese eine Marke auf Exclusion habe.
Jetzt kommen wir nochmal zurück. Wenn wir hier gucken,
haben wir hier oben genau diese Exclusion,
dann haben wir die Unused und Inactives sind die,
die gleich markiert werden.
Ihr müsst den zweiten Mal schalten, weil der Akkorde schlitzt nicht.
Können wir im Moment nicht schalten, ja.
Was ist, welche 20 Stunden sind aktiviert
Augenblick. Genau. Also schalte ich T1, packe hier
eine Marke hin, also ist sie schon mal von daher aktiviert.
Hier kommen die ganzen Marken rauf, die ich verschicke.
Die werden hier durchgesammelt, werden hier durchgeschickt,
werden hier hingepackt letztendlich und dann eben genau reingepackt.
Genau. So, und das spielen wir jetzt auch nochmal am Beispiel durch.
Genau, das ist nämlich einmal abstrakt jetzt erklärt und jetzt
erklären wir es nochmal am konkreten Beispiel. Nehmen wir halt drei Datenbankmanager,
den Token und hier entsprechend die Nachrichten,
die wir da verschicken wollen,
von 1-1-2 von 1-1-3,
2-1, 2-3 und 3-1 und 3-2.
Das ist klar, das sind die Nachrichten, die wir
bei 3 nur rausschicken. Wenn es ein paar mehr wären,
wird es ein bisschen, das ist ein bisschen länger die Liste.
Gut, was mache ich jetzt also? Ich schalte irgendwie und ja,
ich suche mir einen aus und schwupp,
nehmen wir die 1. Sagen, okay, was passiert da?
Wir packen hier die Nachrichten von 1 an 2 und 1
an 3 raus. Die schwarze Marke erleben wir so beiseite.
Hätten wir noch eine andere Stelle hinzeichnen können,
wo wir das aufbewahren und zurücknehmen, aber das brauchen wir ja nicht.
Wir können die Nacken ja erzeugen und vernichten, wir wollen.
Hier in diesem, was wir jetzt aber hier sehen,
ist, dass wir die Marken,
die restlichen Markenalympen so durchschieben
Was liegt das für euch schon mal nahe? Können wir
so nebenbei überlegen, während ich jetzt hier noch erzähle.
Wir sind also jetzt irgendwie hier. Jetzt müssen wir gucken,
was kommt jetzt als nächstes? Was sind jetzt die nächsten möglichen Transitionen?
Wie viele Transitionen sind jetzt aktiviert? Eine, ja.
Wie viele Bindungen sind da? Von den möglichen her erstmal,
die zwei möglichen zwei oder drei für das Erdbeer,
Receive Planage, also die drei.
Und möglich eben die S&S von der da oben, also erst.
Genau, aber ja, da habe ich die Schaltmodi, die ich jetzt habe.
Und es gibt genau zwei Schaltmodi für diese Transition.
Und eine von den beiden kann ich jetzt aussuchen oder auch beide gleichzeitig,
je nachdem wie ich das gerne haben möchte. Und jetzt,
achso, da habe ich noch mal die Marke,
da habe ich doch noch angezeichnet, genau,
dass man das auch so einzeichnen kann, wenn man das möchte.
Können wir auch weglassen. Und schwupp waren wir hier,
aber jetzt die entsprechende 3 genommen. Das heißt,
hier schalte ich sozusagen jetzt für diese Bindung entsprechend,
Also ein Schaltmodus so ausgewählt und packt die da entsprechend rein.
Dann geht es weiter, packe ich die nächste dahin,
ich wechsle rüber, ich packe die wieder auf inaktiv,
hier ist Eck Knowledge drin, immer noch von 1&2.
Jetzt kommt als nächstes die Änderung, wo ich dann sage,
jo, ist man bald da liegen?
Wie viele Transitionen sind jetzt aktiviert? Jetzt ist nur noch die 2 aktiviert,
weil hier sind aber alle drin und wir können das jetzt
entsprechend schalten und die Sachen wieder zurücklegen.
So, das heißt, auf diesem Netz können wir jetzt
eine ganze Menge uns überlegen, wie das ausschaut.
Was habt ihr jetzt aber eigentlich so nebenbei geschluckt? Ja,
so was ich so erzählt habe und was bei den Netzen
ja durchaus eine kompliziertere Operation ist, wenn ihr das programmieren sollt,
ist das durchaus dann ein bisschen aufwendiger.
Nämlich diese Funktionen hier einfach zuzuordnen und sowas. Und dann
irgendwelche Projektionen vorzunehmen und mit Farbmengen zu hantieren und so weiter. So,
das ist aber in ganz natürlicher Weise entsteht das hier eigentlich,
weil wir einfach die Ja, grundlegend Dinge,
die vorher angeguckt haben und jetzt immer schrittweise das erweitert haben und jetzt gesagt haben,
wie wir es draufpacken.
So, was ist jetzt bezüglich der Marken,
die wir hin und her schubsen hier?
Festzustellen. Ich weiß nicht, ob es das ist,
worauf Sie vorhin hinaus wollen. Ich denke, was ist
ein beschränktes Netz? Also nicht nur alleinerstelle Marken generieren,
ich will sie eh und das Ding schlucken später wieder.
Ich kenne die natürlich immer in der Serie. Okay,
ja, genau. Das ist ein beschränktes Netz und wir
können jetzt also Bestimmte Aussagentreffen. Ist denn lebendig das Netz
? Das ist die nächste Frage. Was da hinten?
Ja, genau. Lebendig und reversibel, lauter schicke Eigenschaften.
Was erwarten wir jetzt von so einem Netz dann,
dass wir auch hingehen können und entsprechende Beschreibungsmöglichkeiten haben,
um solche in Varianten Aspekte sozusagen darzustellen in so einem System?
Und dafür können wir jetzt hingehen und sagen, okay,
jeder Datenmensch ist genau einem der drei Zustände in Active
Waiting oder Performing
Fast genießt. Entschuldigung, nochmal. Ist das nicht eigentlich der,
also wenn ich schon vollkommen wahrscheinlich... Nö, fairness Sachen,
die lassen wir erstmal außen vor. Die Antworten zu dem Thema fair,
müsstet ihr euch sozusagen selbst geben können in Bezug auf welche Art von Fairness gegeben sein kann,
muss oder was man haben muss,
damit fairness gilt in einem System, ne?
Gut, wir haben also genau drei Zustände.
Wir sind also irgendwie Inactive Waiting Performing. Was heißt das
? Naja, wir sind entweder inactive oder invaiting oder hier
unten im Performing oder Rating Enactive Performing an der Stelle
So, und das ist, kann man so ein bisschen gucken,
wie läuft das denn jetzt hier so durch und kann dann schauen,
was passiert da?
Naja, und dann muss man gucken,
wie halt was hier durchläuft. Ist es die Frage,
treten die jetzt irgendwie mehrfach auf oder was kann da passieren?
Wie legt man das da drauf oder wie kriege ich jetzt für Aussagetreffen dazu?
So, aber das sind auf jeden Fall schon mal die drei Beiteile.
Gut, wir können noch eine andere Aussage treffen.
Welche können wir noch treffen? In diesem Netz.
Sehr alle
Nachrichten sind wieder mehr auf, da an dir ist, aufs Handy.
Au. Received. Genau. Das ist jetzt genau die Aussage,
die hier drin steht, einem der vier Zustände,
1, 2, 3, 4. Genau, richtig.
1, 2, 3 und 4 haben wir da drin.
Jo, genau. So, jetzt ist die andere Frage,
was ist mit dem Teil da oben?
Das hatte ich ja eben schon gezeigt,
also entweder ist es halt da drin oder nicht.
Kann ich das jetzt denn noch ausdrücken,
wenn mir die Stelle fehlt
Ja. Diese andere, diese weitere Stelle,
die ich vorhin so eingezeichnet hatte hier.
Bestimmt. Okay, gut. Das war schon mal eine Vorlage
. Wer erklärt das bestimmt? Ja. Das ist ja
quasi genau eine von denen. Also wir wissen ja,
das kann sich nur verständigen. Wir können ja immer nur sagen,
wir haben eine andere ständig, können wir ja zur Hilfe nehmen,
dass wir auch eine von den Tatfragen anschauen, auch weggeschrieben.
Und dass quasi die Sommer aus dem noch Explosion und welchen
das gleich einsetzt.
Also Gott sei Dank
Mhm. Ja, aber hier habe ich jetzt so einen schwarzen Token
und bei dem einen habe ich einen Datenmac-Manager drin stecken.
Müssen wir noch die Mengenmächtigkeit sozusagen. Ja, genau. So,
das heißt, da müssen wir uns irgendwas zu überlegen.
Also höchstens ein Datenmensch erwartet, kann man auch sagen,
können wir uns gleich noch an, wo das dann reinkommt.
Und ein Datenmac-Matcher ist genau dann im Zustand Performing,
wenn eine Nachricht an ihnen im Zustand received ist,
das sind schon etwas spannendere Aussage.
Das heißt, wann ist er jetzt wo?
Das kann man also auch aussagen an den Stellen,
wenn er da ist,
muss das auch irgendwie da vorne sein oder sowas
So, wenn der Datenbank-Nature im Zustand Waiting ist, das war da oben,
dann sind alle seine Nachrichten in Zuständen Cent Received oder Egnologed.
Das ist das, was wir da dann vorliegen haben.
Das heißt, wir können jetzt also inhaltliche Aussagen treffen,
wo was, von welchem Teil irgendwie drin liegt.
Jetzt ist nur die Frage,
wie gucken wir das in den entsprechenden Netzen denn nach?
Und wie kann man das gut hinbekommen, das entsprechend zu beschreiben?
Na gut, gucken wir uns nochmal die In-Varianten ein bisschen an.
Für alle erreichbaren Markierungen Von den Bereichbarkeitsgrafen eines solchen Datenbankenentscheids ist
, gilt also folgendes. Jeder Datenbangnitscher ist genau einem,
der drei Zustände. Jede Nachricht ist in genau einem der
vier Zustände und höchstens ein Datenbangnitscher wartet.
Und ja, wie drückt man das entsprechend aus? Ja,
dann sagt man einfach, okay, die Markierung von Inactive,
plus die Markierung von Bating plus die von Performing ist gleich den Datenbank-Managern.
So. Und jetzt muss ich ja so genau aufpassen,
wie ich was zusammenzähle. Bei dem nächsten Teil geht es
auch noch einigermaßen einfach das entsprechend hinzuschreiben
Und unten wird es dann halt schon ein bisschen schwieriger.
Das war das, was wir eben gerade hatten.
Da müssen wir nämlich hingehen und dass wir irgendwie so ein Betrag von dem,
was in diesem Waiting drin ist und dem,
was hier drinsteckt, soll genau das E sein.
Das war genau diese Abbildungsfunktion, wo wir so ein ABS
von M von Rating haben müssen und die Markierung von Waiting,
war ja genau wieder ein Darkmark-Management,
also ist das Ups von Darkmark-Manager sozusagen sein.
Okay, diese Sachen hier sind Multiming-Vereinigungen. Nur wenn man mal daran erinnert,
es ist nicht irgendwie 2 plus 3 plus 4,
sondern, und ich habe dann, kommt 8 raus,
sondern ich habe da Multiming-Vereinigung,
weil ich mehrere Sachen mehrfach drin liegen haben könnte
Aber wir sind zwar alle des Jungd an dieser Stelle,
dass eigentlich nur Mengen rauskommen, aber das ist eine Multimengenvereinigung,
weil wir eben mehrere Mengen gleichzeitig verarbeiten. Okay, so,
dann die anderen Aussagen, die wir haben, waren genau,
die wir vorgelesen haben, und da hat man genau im Zustand Performing,
wenn und es ist ein Zustand Waiting,
wenn oder dann ist, können wir also nachgucken.
Gut, Performing heißt,
der Receiver ist sozusagen auf diesem Resivteil und bei dem Main
von Waiting bin ich dann genau in diesem,
dass ich entweder Cent habe oder received oder agnolleged und das ist genau,
dass ich über alles aufsummiere und dann finde ich alle Nachrichten,
die dort gelten.
Und das meinen von diesem Rating ist jetzt sozusagen dann genau,
dass ich wieder diese Funktion bilde,
wer immer da auch im Rating sitzt,
kriege ich die entsprechenden ganzen Nachrichten quasi generiert.
Und die muss ich dann in diesen drei Stellen wieder auffinden.
Also von der Berechnungsfunktion eigentlich gar kein Thema. Gut, okay.
Dann kommen wir nochmal zu diesem in Variantenkalkül mit dem PT-Netzen.
Da hatten wir irgendwie gesehen, dass wir solche Aussagen auch
treffen konnten. Wir sagen können, okay, hier,
in diesem Bereich liegen irgendwie diese N-Marken und hier drin sind irgendwie gewichtet,
auch irgendwie N, beziehungsweise nicht das entsprechend gewichte,
habe ich auch meine Endmarken immer sozusagen da.
Und das waren sozusagen ja die Darstellungen,
in denen wir das ein bisschen gezeigt haben,
wo wir so eine entsprechende Matrix aufgeschrieben haben.
So, und für das haben wir dann entsprechend hier
die Innenvarianten angeben können und das für die entsprechenden Wirkungen
der Transition.
Das war so etwas, was wir den Fitine lesen, jetzt einfach rechnen konnten.
Jetzt die Frage, wie rechnen wir das denn bei den Gefärbtennetzen? Und das heißt,
ich muss jetzt hier hingehen und da die Matrix aufstellen und die sind ein kleines bisschen komplizierter dann aus,
weil ich hätte hier hingehen muss und sagen muss, okay,
ich habe jetzt Datenbank-System und ich habe hier die Transition T1,
T3, T4 und ich habe hier meine Stellen und jetzt gucke ich mal,
was da drin passiert.
So, was mache ich da? Was steht jetzt hier
drin? Was steht in dieser Spalte? Die hatte ich
ja vor bei den PT-Netzen nicht
In seiner Exkursion war, oder in meiner Message.
Genau, der Typ sozusagen der entsprechenden Stelle oder die Farbe,
die dort darauf zulässig ist.
Was ist das hier oben? Angemalte Transition. Gucken wir mal,
was das genau, was das noch genau ist.
Wieso darf Farben stehen? So, dann haben wir eine Anfangsmarkierung.
Da sagen wir, wir packen alle Datenbankmanager drauf.
Wir haben die entsprechende E-Ligen oder die Nachricht,
die Menge der Nachrichten.
So,
was steht jetzt hier drin
Wer beschreibt das mal? Gut, also hier oben habe
ich Transitionen und hier habe ich die Stellen sozusagen abgetragen.
Und da ist jetzt die Frage,
was muss ich dann in meiner entsprechenden Matrix hier jetzt finden?
Das sind ja Funktionen, die da drin standen.
Ja, welche denn?
Also absss
Ja, genau. Und ID, ne? So,
und was macht er da? Papp mit der minus Aldi auf Beendete.
Kann der bei Spoiler heißen, dass wir bald militierte Haushalte noch anders.
DWM da heißt bei den Traditionen, nämlich,
dass wir da in dieser Funktion, all die, die sagt,
die Farbe der Tradition da und davon ein Interview einsetzen,
das dann von dem innere Aktion.
Genau, kommen wir hier oben hin. Wir haben da oben
die T1 und wir gucken auf die Stelle in Active.
Das ist die hier. Und da müssen wir jetzt irgendwie
die Sachen hier abziehen
Und die soll jetzt sozusagen eine ID-Funktion abziehen,
das von dem Datenomage ja auch, was jetzt immer gilt.
Also egal, welche ID ich nehme, ich nehme jetzt die,
ich gebe eine Funktion an, die das jetzt einfach tut.
Ich gebe also jetzt keine konkreten S oder P oder Kude X,
sonst mehr an. Also es gibt keine Variablen mehr an,
sondern ich gebe sozusagen eine Abbildungsfunktion gefangen. Und die heißt,
dass ich sozusagen eine ID abziehe und die Wirkung ist aber,
dass die ID gleichzeitig hier wieder auf Wältigen draufpacke,
was eben genau diesem S quasi jetzt eigentlich entspricht.
Das ist also die Umschreibung, wie ich die Variablen in die Atrix reinbekomme.
Also was wir beim Rechnen hier sozusagen machen, Genau,
der Multimengen-Applikationen, auch wenn wir schon eine Matrix haben,
einfach mal in die Niedersurfung.
Das hat ja eher keine Mengen theoretischer überlebt. Ist das
tatsächlich noch Mengen theoretisch oder ist das... Das ist ja,
das ist sozusagen das, was die Wirkung darstellt.
Und letztendlich kann man ja sagen, ich ziehe das ab.
Wir hatten ja die Mengen Differenz sozusagen auch definiert.
Und warum soll ich keine Multimengen abziehen können?
Das ist jederzeit möglich. So, und mehr als das
ist das Abziehen einer bestimmten Menge bedeutet.
Mir stellt es jetzt entsprechend auch nicht dar
Nicht weniger. Das sagt eben, genau,
ob ich da eine 5 und eine 3 drin stehen hätte oder minus 5,
ich habe ja auch nicht fünf Löcher irgendwo,
die ich wegnehme, sondern ich habe fünf Marken,
die ich wegnehme und ich tue fünf Marken irgendwo hinzu oder sowas.
Also natürlichen Zahlen ist es ja so, aber ich denke ja,
natürliche Zahlen ist jetzt schlechter in ganzen Zahlen,
das dürften die überbaut von Minus einfach den Fluss,
da kommen wir nicht komputärer Zeiten zu.
Ja, kann man hier genauso machen. Bei den Mengenoperationen
ist das dasselbe. Keine Antime sozusagen. Nein,
aber das ist, nein, nein,
das von der ganzen Denkweise her ist,
dass er genau einfach eine Menge Operation mit rein und raus
und das in den entsprechenden Wirkungen,
was da jeweils als Operation
zu passieren hat
Und das auch nicht, dass ich jetzt irgendwie was habe,
sondern dass ich sozusagen die Wirkung habe, dass ich das ja zutue.
Also ich müsste eigentlich jeweils über einen Plus davor stehen.
Das ist nicht jeweils die Wirkung,
das ist ja die Inzidenzmarke, die Wirkungsmatrix gerade ist.
Also was da in der Wirkung hat, dieses Teil eigentlich.
Und es gibt hier da noch zu beschreiben,
dass die Wirkung ist. Und nicht, dass ich die
absolut beträge und eine negative Markierung habe oder so etwas.
Es gibt auch Netzen mit negativen Marken,
aber die werden wir hier nicht behandeln.
Das ist ein Teil aus Spezialvorlesungen. Kommt aber selten dran,
weil es ein sehr spezielles Konstrukt ist,
was nicht im Normalfall selten zielführend ist.
Es gibt eine spezielle Anwendung für. Gut, okay.
Wir haben jetzt das ID und das Minus-ID hier oben.
Wie kommen die jetzt hier zustande
Ich finde, wir ziehen aus der Exklusion eben 6 Kundenmarke ab,
mit Absolut. Aus Unused ziehen wir Nachrichten ab,
und zwar die überlegt meinen Funktionen eben gegeben sind.
Und die packen wir von da aus nach Senf oder da auf Senfkollegen
drauf. Genau. So, und das Interessante ist,
dass wir jetzt hier aber eben entsprechende Funktionen uns angucken,
die wir vorher beschrieben haben.
Und da muss man genau gucken, welche Funktionen müssen eigentlich aufschreiben.
Und die Kunst geschieht also da drin,
dass man die Sachen entsprechend erstmal mit den richtigen Abbildungen versieht,
damit man auch weiß,
was man und wie man darauf eigentlich operieren will
Ich muss jetzt sagen, wir sind mit dem Vater genau ein paar wieder,
also ein Variante, oder quasi das zu entschieden.
Was wäre dann, also wie kann man das aufschreiben,
wenn wir von Hill exfüllt, erst plus erst zwei Phasen geben,
schon mal so ein guter Sache mit eh schon, eine ganze Innovation aussehen? Ja,
dann würde man hier einfach ein ID plus ID oder ID plus irgendwas anderes,
immer zwei weiter oder sowas ähnliches,
da müssen wir eine Funktion definieren,
die mit Moodlu rechnet und immer zwei weiter rechts oder so ähnlich,
wenn ich noch an jeden zweiten Nachbar rechts irgendwas schicken wollte oder den zusätzlich auch mit rausnehmen müsste,
würde ich einfach sagen, der und der,
also gab es links und Gabel rechts,
ist ja genau das Beispiel,
dann müsst ihr
es auch
entsprechend angeben
War auch eigentlich die Idee bei den Übungsaufgaben,
wie das gefärbte Netz für die Gabeln aufgeschrieben hat und das gefärbt dann jetzt aufgeschrieben,
was ihr dann nicht mehr aufgeschrieben habt,
was noch eine der ausstehenden Übungsaufgaben war,
sozusagen ist das dann als Matrix hinzuschreiben und das dann entsprechend abzubilden,
was es eigentlich bedeutet,
linke und rechte Gabel und wie man die Funktion dazu aufschreibt für diese Dinge.
Aber das haben wir dann nicht mehr jetzt diesmal nicht mehr mit aufgenommen. Genau,
das Gleiche gilt natürlich über die T2,
wenn es wieder zurücklegt, ist genau das Umgekehrte,
was letztendlich da passieren muss und ist sozusagen dann genau die umgekehrte Wirkung,
die sich aufgrund der Sachen hier unten entsprechend auch ergibt
Wir eben schon quasi beim allgemeinen Durchsprechen und bei dem speziellen
Beispiel für 1 und 2 und 3 sozusagen einmal durchgespielt,
dass das auch genauso passieren muss. Wichtig ist jetzt halt,
dass wir diese Funktionen halt vorne irgendwo beschrieben haben und sagen,
was da passiert und wie verwenden wir hier entsprechend.
So, das Gleiche gilt dann hier mit dem T3,
was dann eben diese,
mit dem Receiver sozusagen ja noch mit abdecken müssen,
dass wir so jetzt hier einen abziehen und hier einen draufpacken.
Das ist genau das Abziehen von Inective und dann zu Performing
hinpacken und hier drüben die entsprechenden IDs,
die wir mit dem Cent und Receive noch noch haben.
Wo ist das jetzt hier? Bei Cent,
wo ist Cent nochmal, da oben,
ziehen entsprechend die ID ab und hier die entsprechende Geschichte.
So, und jetzt ist natürlich Frage, welche ID ist denn das jetzt jeweils?
Weil hier habe ich ID und da habe ich all die. Ja,
weil den Linken, manche eins und zwei ist es ja,
die sind da bestimmte Mediatormarktmanager, die Einladung von,
die eins und zwei, drei Leute.
Und bei der Rechnungsstelle ist die Chef für Messages,
die gibt ja nicht mehr.
Genau, aber die Funktion sorgt eben nur dafür,
dass die richtige Nachricht zugeordnet wird
Ich möchte auch fast die DBH-Monatestführung stehen, die Farben quasi in
dem Fall auf die Gemeindephase und der Mann an mir.
Genau. Bist du auch noch eine Frage, oder? Gut,
ich hätte nur jetzt gedacht, die war jetzt sozusagen Korreferenz in deinem Leben.
Auch zwischen den ITs auf der Linkenseite. Genau. So,
das sind jetzt sozusagen die Beschreibungen,
die wir dann dazu finden können zu diesen Sachen,
wo wir die entsprechenden Invarianten jetzt hier angeben,
die jetzt auf diesem Netz definiert werden können.
So, wenn ihr sowas in der Fertigungsstraße habt,
dann wollt ihr auch,
dass hinterher alle Teile aus so einem Gerät
wieder rauskommen
Wo du es auch ganz gerne haben möchtest, Operationssaal,
nicht, dass du wie neulich gerade wieder in der Zeitung drehst,
sondern, oh, sie haben mal zufällig 16 Teile in den Menschen vergessen, was sie vergessen haben, aufzuräumen.
Also, wenn man sowas hätte, das sozusagen sichergestellt wird,
dass hinterher wieder alle Teile auf dem Operationstisch daneben liegen,
die auch daneben liegen sollen und die Sachen,
die nicht dann liegen sollen, so liegen da auch nicht mehr,
dass sie vergessen, eins wieder einzubauen von den Teilen,
die sie rausholen.
Also, das kann man sehr, sehr allgemein anwenden,
diese Dinge und sich genau überlegen, wie man sicherstellt, dass man sowas hat.
Und es ist eine der Aufgaben, die so eine,
die Immoperationszahl geleistet werden muss, dass sämtliche Tupfer,
die im Bauchraum verschwinden, hinterher wieder rausgeholt werden,
genau wie eben die entsprechenden Scheren und sonstigen Hilfswerkzeuge,
die sie da reinstopfen und zum Aufhalten und Machen und Tun.
Ja, ihr lacht, aber wenn euch sowas im Bauch
stecken bleibt und ihr das nicht wieder rausholt, wenn wir sie vergessen haben,
das durchzuzählen sauber, dann habt ihr ein Problem.
Das Problem ist,
dass Opäsa ja irgendwas auch mal nachgereicht werden muss und dann muss während
der OP vielleicht nochmal fünf Tupfer da und Tüpfer hier und dann
wieder zurück und dann verzählt sich die Frau oder der Mann, die da steht.
Und dann hat man das mal gehört, dass sozusagen das nicht mehr hinkommt.
Und das macht ein Mensch und das ist ein Problem.
Also sowas sozusagen mit einer Kamera zu überwachen und entsprechend sozusagen zu Zählerchen einmal,
einer geht rein, einer geht wieder raus und Das soll der Nullsumm-Spiel sein für den Bauch.
In dem Augenblick hätte man eine nette Überwachung, so dass
menschliche Fehler an der Stelle nicht mehr ganz so leicht passieren können.
Können wir noch schummeln,
dass man irgendwie so verdeckt was reinsteckt oder sowas ähnliches und dann wird es natürlich schwierig,
wenn man sowas erkennt und wie man das auch noch erkennt,
wenn man was rausholt,
ob es ein Tupfer ist oder irgendwie ein Blinddarm.
Aber das sind halt Sachen, die muss man sich
entsprechend angucken bei diesen Sachen. Ja, ich hoffe,
das bleibt eindrucksvoll in eurem Gedächtnis jetzt hängen. Dass ihr
nicht nur einfache Datenbankmanager nehmen könnt und einfach Datenbank-Updates macht,
sondern sowas auch als Unterstützungssysteme für irgendwelche Anwendungen baut.
Und das geht eben hin bis zu solchen relativ informalen Umgebungen,
aber da gibt es meines Wissens noch nicht solche Überwachungssysteme
Aber es gibt normalerweise das Verfahren, den Algorithmus im Operationssaal,
das sämtliche Teile am Anfang durchgezählt werden, was da hingepackt wird,
am Ende wieder zurückgezählt wird, was da drin,
was das alles wieder da ist und dass nichts verbleibt in den Menschen.
Weil das ist halt sehr unangenehm, Gesundheit im Bauch hat, was da nicht reingehört. So,
und es gibt es natürlich bei Fertigungsstraßen ist es ganz einfach,
wenn da irgendein Teil hängen bleibt in dem ganzen Gerätschaften,
dann knallt es irgendwann oder es knapp oder stinkt oder was auch immer jemand,
was verderbliche Ware ist oder ob es irgendwas anderes ist oder wenn es irgendwie stört,
im nächsten Produktionsprozess.
Zum Beispiel die entsprechenden Erdnüsse,
die er immer als Warenhinweise bekommt, dieses Teil kann Erdnüsse enthalten,
in irgendwelche anderen zu verarbeitet werden,
weil man eben nicht sicherstellen kann,
dass sämtliche Teile von Erdnüssen aus den Gerätschaften rausgeholt wurden
Im Grunde möchte ich es so haben, jede einzelne Erdnuss,
die er reintut, wollte er auch wieder rauskriegen.
Stoffstromnetze sind übrigens eine der Sachen, die sowas auch mit untersuchen,
auch wenn sie nur sehr leicht angelehnt an die Petranetze sind,
aber es ist ein sehr schönes Teil, um solche Sachen nachzugucken.
Wird dann auch benutzt, um radioaktive Stoffe in irgendeinem Kreislauf nachzuweisen,
wo die denn nun vom Prinzip geblieben sind oder wo
bestimmte Wärmesachen abbleiben, Energie abbleibt und so weiter.
Man kann also sehr weit treiben und das ist für ökologische Geschichten extrem wichtig,
weil man dadurch sozusagen nachweisen kann,
wenn man an bestimmten Punkten eben weiß, wo was rein,
wo was rauskommt und man hat ein paar Invarianten drauf und sagt,
okay, hier gehen immer fünf Tonnen von diesem Stoff rein,
hier kommen fünf Tonnen raus,
kein Problem
Das Spannende ist, wenn ihr euch Keksfabriken oder Lebensmittelproduktionsstätten anguckt,
was meint ihr, wie viel Katalysatoren und so weiter da drin verschwinden,
aber eigentlich nie wieder rauskommen,
auch wenn sie eigentlich ja nur Katalysatoren sind.
Die werden in der Nahrung einfach mit, ja,
die verschwinden irgendwo im Essen. So, und die Kunst
besteht da drin, dass man sich sowas genau überlegt,
was man alles zu kaufen ist.
Und das muss man einfach wissen,
dass in diesen ganzen großen Fabriken sozusagen diese riesigen Mittel,
die da reingehen und wieder rauskommen.
Und das unterscheiden sich Firmen von
Und genau daran kann man auch, um sowas zum Beispiel zertifizieren lässt,
dass bei uns verschwinden nur drei Prozent der Katalysatoren innerhalb von einer Woche.
Und bei uns verschwinden 15 Prozent, dann weiß ich schon,
wo ich das lieber essen möchte.
Weil manche Vollsitzstoffen möchte man nicht unbedingt im Körper haben zum Essen.
So, aber das sind einfach nur Anwendungsbeispiele jetzt für euch.
Mit ihr sehen könnt, warum es sinnvoll ist,
in Varianten irgendwo für irgendein System zu beschreiben.
Und ihr müsst das irgendwie aber erfassen, dass ihr wisst,
wofür die, ob die in Varianten erstellen müsst und wobei nicht.
Was jetzt bei diesem Datenmanager nicht gemacht haben,
wir haben jetzt nicht mehr geguckt,
ob er noch irgendwie essen geht zwischendrin oder was da sonst oft passiert.
Das ist ein Datenmark-Manager als Person ist.
Wenn es jetzt sozusagen eine Software ist,
dann kann man noch gucken, wie lange sie irgendwie operiert
oder sonst was macht
Im Sinne von irgendetwas durchführt, meine ich jetzt mit operieren.
Also wo irgendwas getan wird. So, aber das sind
spannende Fragen und dafür haben wir eben halt die Idee,
dass wir sowas über solche Sachen halt darstellen.
Jetzt ist die Frage, kann ich denn jetzt irgendwelche Innenvarianten auch angeben?
Jetzt wäre die Frage, gib doch mal eine an.
Überleg doch mal eine. Ihr habt vorhin vielleicht genannt,
ne? Also wir haben sie vorhin schon alle durchgesprochen
Genau, das Skript hilft einem dabei,
das ist richtig, aber ist ja in Ordnung.
Manche gucken halt nochmal ein Skript und helfen sich nur,
weil Wei ist ja auch in Ordnung. Genau,
ich kann einfach mal sozusagen ein paar Sachen zeigen,
weil jetzt die einzelnen durchzugehen und welche ihr gerade ratet,
ist dann die Frage. Die Idee ist also hier,
dass man irgendwie ausdrücken kann, dass wir auf diese in Varianten,
die wir vorhin aufgeschrieben haben,
auch jetzt zu sprechen kommt und die dann entsprechend hier einträgt.
Also das ist einfach genau
die Sache dabei
Und wenn ich mir jetzt diese Unused-Sachen von den Datenbank-Managern zu zeigen,
also Inactive-Vacting und Performing hier angucke,
für das erste oder für die zweite die IDs,
die dann jeweils darauf liegen sollen,
das sind genau diese Message-Geschichten und dann nehme ich die ID
und dann gucke ich halt das Unused Cent und Received und Technologs sozusagen als Menge der Nachrichten,
die da irgendwo liegen müssen.
Wir haben ja genau diese vier, die wir davor antreffen müssen.
Welche Eins? Da steht die Nummerierung, wir zweitens,
drittens, viertens, fünftens. Dir Eins habe ich jetzt
hier nicht mehr dargestellt, auf der anderen Seite davor.
Machen wir ja in deinen Aus,
indem wir die Für uns nachts mal, Spektrum einfüllt es.
Ja, richtig. Das ist schwierig. Geht überhaupt nicht
. Geht genauso. Genau, also das wäre jetzt halt
meine Frage, wie geht das tatsächlich genauso?
Ja, genau. Aber die Rechnerei habe ich jetzt hier nicht,
glaube ich, nicht mehr. Die Folien hatte ich auch,
aber ich glaube, ich habe sie jetzt hier nicht mit,
ich habe sie jetzt hier nicht mit rangenommen.
Das war, die hatte ich dann nicht mit dabei.
Wie sieht das? Findet ihr in den alten Folien in den Jahren
davor irgendwo, im geschützten Bereich, gleiches Passwort, ne?
Funktioniert das dann, wenn wir jetzt noch eine dran,
also wenn wir mit einer Tradition verschieben, also sagt was verschiedenes,
da stimmt es ja auch gar nicht so klar.
So ist man, dass das weh verlassen wird,
dass hier nicht unheimlich komplex wird,
fühlt man dann quasi direkt so fühlt sich ärgern.
Also ja, okay. Also die Frage ist, was passiert,
wenn wir jetzt einen Datenlang-Menscher und eine Nachricht auf derselben Stelle haben, ne?
Als ein Beispiel. So, haben wir hier nicht,
sinnvollerweise, weil man das, wenn man sauber entwickelt, trennt man eine Möglichkeit.
Wir hätten ja genauso gut auch die oberen Stellen von dem Netz,
alles auf einen Haufen fast,
also die oberen drei rechten drei oder linken,
den linken beiden und die rechten beiden hätten auch zusammenlegen können
oder sowas
Und man zieht immer jeweils aufgrund des Typs, die Kante,
die richtigen Variablen entsprechend ab. Die Bindung,
das würde genau so funktionieren, also man kann beliebig diese Faltung vornehmen,
bis nachher nur noch eine einzige Stelle und eine Transition da ist.
Und dann kann man immer noch diese Sachen anwenden.
Das ist das Gurgel jetzt dabei. Ob das dann sozusagen
Aussagen für die Stellen immer noch großartig sinnvoll ist,
ist dann ja eben die Frage.
Aber man kann immer noch sagen, ja,
wie viele Marken habe ich denn jetzt hier auf dieser Stelle drauf?
Da kann man natürlich noch auf eine Stelle was ausdrücken.
Man drückt dann nicht mehr,
jetzt hier ist Performing und hier ist dies und hier ist jenes,
sondern die eine Stelle, aber man kann immer noch sagen,
es sind immer genau so und so viele Nachrichten oder genauso
und so viele Datenbank-Menscher drauf
Man verliert die Informationen, wo sie sind,
wenn man Gesundheit,
wenn man die Informationen über die Stellen wieder in die Tupel rein kodieren würde,
könnte man auch das wieder als in Varianten angeben und dann quasi die Orte,
nämlich dass sie dort oder dort oder dort sind,
entsprechend genau daran dran widerspielen.
All das kann man machen. Die interiente Rechnung wird dann
nur ein bisschen schwierig und ein bisschen halt, wie gesagt,
auch unsinnig, weil dann liegen sie halt alle auf diesem,
in der einen Stelle und alle Messagewasser sind auf dieser einen Stelle.
Dann weiß man, dass diese Zahl konstant ist,
egal wie das Netz schaltet.
Aber auch das kann man ausrichten, ausrechnen.
Dann kann man halt die Schaltmodi sozusagen hier oben aufführen und
dann würde man das entfalten und quasi das Netz
im Kopf auseinanderziehen
Gut, ich hätte ja auch zum Beispiel
dieses einzelne Verarbeiten der entsprechenden Nachrichten bei den einzelnen Abarbeitungen,
die von den Datenbankmanagementen, die eine Nachricht zugeschickt bekommen haben.
Das sind ja in minus eins parallele Operationen. Die hätte
ich auch durch entsprechend gefärbte Transitionen ja einzeln hinmalen können,
sie für jeden Einzelnen das sozusagen hinmale. Was aber nicht besonders sinnig wäre,
was aber sich quasi dann hier wieder über so eine Faltung letztendlich hier widerspiegeln würde,
dass ich an der Stelle hier bei dieser T3-Geschichte würde ich dann irgendwie hingehen und müsste irgendwie ganz viele Transitionen mit einer Stehen haben,
auch ein bisschen, das würde sozusagen an der Stelle nicht wirklich passende Modellierungen darstellen.
Genau, wenn wir jetzt also so einen Teil nehmen,
wenn wir das jetzt haben möchten,
finden wir das entsprechend hier jetzt wieder und können das jetzt sehen,
was wir empfinden, ist,
dass wir hier eine fast eine entsprechende Abdeckung finden,
da muss man gucken, wie findet man jetzt zum Beispiel einen Tee,
wie wir jetzt die entsprechenden Überdeckungen und so weiter,
da muss man halt nochmal ein bisschen genauer drauf gucken.
So, entsprechend hier vorne die Wirkung und entsprechend mit
den anderen,
dass man das einzeln durchgeht
Gut, wenn man das für dich hier hinten durchgeht,
würde man entsprechend da vorne nochmal hingucken.
So, das heißt, bei dem Datenmark-Manager gibt es ja noch Fragen zu.
Nein, ne? Da haben wir bislang genug diskutiert. So,
dann jetzt zum letzten Beispiel, was wir uns nochmal angucken wollen,
das wird euch nochmal in drei Wochen begegnen,
wenn Herr Falk dort das Ganze mit Prozessalgebradern beschreiben wird.
Ich empfehle euch, dass ihr die entsprechenden Skripte in der
nächsten Zeit noch stärker lest als bei mir,
weil es wird eben jetzt stärker komprimierten Stoff geben.
Das wird also pro Veranstaltung weniger Stoff durchgegangen werden.
Aber der Stoff ist dann eben sozusagen ein bisschen stärker fokussiert sozusagen.
Die Erläuterung findet ihr dem Focking. Und das Beispiel kommt dann,
soweit ich mich jetzt erinnere, haben wir das da auch in der Prozessangebreit entsprechend mit drin.
Und damit man dann versteht,
was da alles passiert und was da gemacht wird und was
da bewiesen wird auch an diesen Dingen, Sollte man sich das vorher angeguckt haben.
Sonst wird das mit der Veranstaltung schwierig. Aber es ist auf jeden Fall hilfreich,
weil Herr Falk euch da die Sachen dann genau so nochmal erzählen wird,
dass man das auch halbwegs mitnehmen kann.
Im Gegensatz zu diesen einzelnen in Sachen. So,
ich werde mich jetzt nochmal bemühen,
das Ganze jetzt nochmal mit einem Alternativit-Protokoll entsprechend darzustellen für der Peternetze als eine Möglichkeit,
wie man das benutzen kann, um einen bestimmten Sachverhalt darzustellen.
Und wir haben jetzt jetzt eine Spezifikation,
mit der wir davon ausgehen,
dass wir irgendwie so einen Sender haben und wir haben
Empfänger und es gibt so eine korrekte Übertragung hier und letztendlich
kann man immer so eine Nachricht übertragen und man will das mit einem Bit letztendlich sozusagen realisieren.
Und was man da macht, ist,
man will das jetzt irgendwie rüberkriegen, kann es sein,
dass der Kanal noch gestört ist und so weiter.
Wenn wir gleich nochmal sehen. Und von hier drüben werden also
irgendwelche Daten eingepackt in so ein Paket und dann schickt man
die Daten hier rüber und dann sollen hier drüben ankommen.
Das ist sozusagen das Ziel. Ich schicke also diese Daten
rüber und will da einen Bit sozusagen benutzen,
um diese Übertragung sozusagen zu steuern, dass der nächste kommen darf.
Weil wenn der es hier losgeschickt hat,
dann ist der Token ja weg,
dann läuft das hier durch
Dann kommt die ja an, dann kann ja der nächste
Datum schicken und so kommt die eine nach meiner an.
Dieses Netz ist klar, ne? Gut,
die einzelnen Schritte hier sind dann,
wie wir es sehr schön sehen können,
so passive Objekte sozusagen, indem wir sagen, jo,
wir kriegen hier was rein von außen,
dann verarbeiten wir das und wir packen es raus und hier wird es übertragen.
Also es ist eigentlich genau umgekehrt, wenn man sonst was sich so vorstellt,
dass was Aktives hat, dazwischen ist ein passiver Kanal.
Man kann es auch vorstellen,
als hier ist jemand Aktives und er packt es in den Kanal und
der Kanal ist wiederum aktiv und überträgt es und dann geht es weiter.
Also diese Darstellung, wie auch bei der Übungsaufgabe ja nachher,
müsst ihr euch überlegen,
was ist eigentlich passiv und was ist aktiv und was ist
sinnvoll als aktiv und passiv darzustellen
Und lieber einmal mehr, was aktiv und passiv
aufeinander zu ziehen, als dann zu viel ineinander reinzustopfen.
Das ist auch die Empfehlung für die Hausaufgabe. So,
eine Möglichkeit ist, das Ganze falsch läuft, wenn es also hier zurückgeht,
hier durchgeht, kommt einmal eine Fehler über die Übertragung raus.
Dann möchte ich irgendwie, dass das Ganze nochmal übertragen wird,
dann hätte ich gern, dass das B,
was hier ist, ja doch richtig übertragen wird,
das ist ja schade,
sonst kriege ich das falsche Datum dahin.
Weil ich habe hier einen Konfliktstelle, weil ich ziehen das D ab,
das richtige Datum und übertragen das.
Aber ich möchte jetzt irgendwie sicherstellen,
dass das jetzt hier vernünftig läuft
So, das machen wir. Also hier oben haben wir diese Darstellung mit dem Versenden,
dass wir in so einem Fehlerfall haben, wir eigentlich den Error hier irgendwie darstellen möchten und das hier hiermit einbauen. Das ist also das,
was wir jetzt da drin haben möchten,
sodass wir hier sagen können, okay, wenn ein Fehler auftritt,
dann soll nicht hier das Datum abgelegt werden,
sondern wir möchten dann, dass dieser Fehler hier verarbeitet wird,
erkannt wird, dann wird ein nicht okay zurückgeschickt,
hier kommt es an, wenn das ein nicht okay ist,
dann soll er das nochmal schicken,
da schickt er dann nochmal, naja,
nimmt das D,
was hier abgelegt worden ist und das war das D,
was vorher da und
dorthin gelegt wurde
Das heißt, das Ding liegt dann hier noch rum,
ich kann es wieder nehmen und kann es nochmal schicken.
Geht es wieder einen Fehler, laufe ich hier wiederum nochmal,
nochmal, und jetzt kommen wir zum Soferness-Tag, wir gehen davon aus,
dass wir irgendwann mal das richtig übertragen und dann geht es weiter.
Wenn wir einen Kanal haben, der immer gestört ist,
dann ist klar, dass sich keine Daten von links nach rechts übertragen kann.
Deswegen gehe ich davon aus, dass es irgendwann mal schalten kann. Gut,
wenn es denn geschaltet hat,
und jetzt läuft es hier mit dem Okay durch,
dann läuft das hier längs, gibt hier einen weiter,
zieht sich das D wieder ab,
damit jetzt das D wieder weg ist,
dass wir jetzt nicht mehr nochmal übertragen werden,
holt sich das nächste D hier ab,
was inzwischen ja ein D plus 1
geworden ist
Nimmt das D und überträgt das dann hier drüben,
packt das hier ab, zündet das so key zurück,
holt das nächste D ab,
hat vielleicht wieder einen Fehler, hat den Fehler,
läuft im Fehlerkram hier rum, ist erfolgreich,
schickt das nächste D und so weiter.
Ja, und so kriegt man immer sukzessive immer eins nach dem anderen,
entsprechend übertragen, weil wir jetzt hier so eine Übermittlung mit entsprechender Quittung dabei haben.
So, jetzt müssen wir noch ein bisschen mehr machen,
jetzt wollen wir das Ganze noch ein bisschen einfärben sozusagen,
ja,
ob das quasi jetzt inwirtschaftlich hat,
das Linkorrekt inzwischen
Akustisch nochmal. Bitte nochmal? Oben haben wir jetzt erst,
also wir haben uns den Varal anschauen,
wir haben jetzt die Unterscheidung zwischendurch in der Verwerfungsgeschichte in Currect inzwischen.
Wir haben uns den unter und an schauen.
Ups. Ja, das ist der unteren Anschauen,
den wir jetzt ja quasi beraten, aus,
dass unten auf jeden Fall schwitzerisch grundsätzlich gut passiert.
Ja, genau. Unten gehen wir erstmal von einem
nicht gestörten Kanal aus, genau.
Warum auch immer. Das ist im Moment unsere einfache Annahme
dabei. Man kann das Leben noch komplizierter machen,
aber das haben wir an der Stelle jetzt gerade nicht.
Ja, ist richtig. Es ist eine prinzipielle Asymmetrie da drin,
dass auf der einen Seite die Kanal gestört sein kann,
auf einmal nicht
Gut, was machen wir jetzt hier?
Hier haben wir jetzt irgendwie hier oben diesen Unterschied,
ne, an den Sachen und wir führen hier irgendwas ein
und überall tauchen mit einmal hier irgendwelche komischen Tuppel auf.
So, wir müssen noch mal zurückgehen. Was machen wir jetzt hier also?
Diese Stelle packen wir zusammen, weil es ja irgendwie,
also wir haben ja keinen Extrakanal, wo übertragen wird,
sondern wir kriegen das jetzt hier rüber und die Schecksumme ist einfach kaputt oder sowas.
Daran kann man sozusagen das sehen, dass das Ding nicht klappt.
Also die Daten, die da drin liegen,
sind erschecksumme irgendwie kaputt und daran sehe ich,
dass es eigentlich kaputt gegangen ist.
Das heißt, der Error tritt eigentlich dann irgendwie durch eine
entsprechende Erkennung letztendlich dann wieder auf.
So, und jetzt muss ich aber das hier ein bisschen
anders darstellen. Dann muss ich nämlich dafür sorgen,
dass ich hier oben dieses XD übertrage,
was das XD genau ist, warum erstmal nicht zu erscheinen.
Und wir sagen einfach, das Error-Ding kommt auch dahin
und wir packen es jetzt so längs.
So, und was machen wir jetzt hier mit dem X?
Jetzt wollen wir da in diesem X noch ein bisschen mehr Informationen unterbringen,
nämlich genau unser eines Bit sozusagen, was wir jetzt setzen.
Was machen wir da? Wir fangen hier an,
haben unsere entsprechende Transition und Staaten.
Und hier ist nicht am Anfang der Eins.
So, mit diesem Eins schalten wir hier durch und legen
das 1D sozusagen ab
Zählen hier und wir wissen von der Anfangsmarkierung her,
da muss eine Null drin sein,
wenn das okay ist, kommt das jetzt hier rüber.
Und ich schicke das hier sozusagen so durch mit der Eins
und dann wird es hier zurückgehen. Und hier wäre dann
sozusagen x-minus eins, hier wird eine Null-Eisen wieder ankommen.
So, das ist also der Kreislauf, wie das beim
korrekten Fall durchläuft. Hier läuft die Eins rum und hier
unten wird dann die Null mit einmal wieder eingefügt,
beziehungsweise wenn jetzt die Null verschicke,
liegt hier jetzt die 1-x-Geschichte wieder drin.
Also die Null entsprechend, hier läuft die Null rüber und
hier kommt die entsprechende Mobilo-Geschichte wieder rein.
Und ich fragte die Eins rein
Und so, damit haben wir so einen Umlauf.
Jetzt ist die Frage, was passiert hier mit den Sachen?
Wenn ich jetzt das mit einer Eins starte und ich habe hier einen Fehler,
dann komme ich hier hin und was mache ich jetzt hier unten?
Naja, ich benutze das Y hier irgendwie,
was ich rüberschicke und nicht mehr Error oder irgendein Krams.
Es kommt also die Null jetzt hiermit einmal an,
weil ich die ja hier raushole. Hier kommt eine Null hin. Naja,
und hier merke ich, wenn X und gleich Y ist,
nämlich diese Eins, die wir hier abgelegt haben,
ist mit der Null da behaftet, verbunden.
In dem Moment muss ich halt, also meine 1D
nochmal losschicken
Mache ich nochmal, kommt wieder ein Fehler,
komme ich wieder hier hin, bleibt immer noch bei null,
weil hier oben kann er nicht schalten,
weil hier eben das 1 minus X eben genau nicht zu einer entsprechenden 1 wird.
Weil hier liegt da eine Null drauf und das wäre
die 1 und sagen hier ein Fehler ist,
kann das prinzipiell nicht schalten, weil das im Fehlerfall,
Entschuldigung habe ich eben jetzt nicht genau richtig formuliert.
Das kann so und so nicht schalten,
weil das Error-Teil sozusagen immer kaputt geht hier.
Weil die Scheckdome das feststellt, dass es nicht geht.
Und dann wird hier unten die Null eben bei der Übertragung,
bis es dann sozusagen einmal hier richtig durchgelaufen ist.
Und hier kommt dann eben diese Einzelübertragung zurück.
Und das ist dann das Eck Knowledge, was dann sagt,
dass die, dass die Eins geht an den Stellen.
So, wenn jetzt hier so zurückkommt,
kommt dir die Null an und dann wird das ganze Spiel
das nächste mit der Null übertragen und wird genau umgekehrt durchlaufen.
So, wenn wir jetzt da unten auch noch eine inkorrekte Übertragung haben,
dann ist die Frage, was da dann passiert,
wenn wir die 13 sozusagen rausgekommen haben,
da werden wir noch auf Ungleich-X abfragen
Haben wir also das Glück, dass wir sagen können,
okay, gut, wir erkennen das immer noch.
Dass wir sozusagen die einfache Lösung für diesen Fall,
dass bei unten eine falsche Übertragung kommt.
Falsche Übertragung bedeutet, dass auf der gesamten Nachricht irgendwas nicht korrekt ist.
Und in dem Augenblick würden wir das machen. Weil quasi das jeden Projekt vorzwischen,
also ich meine, wir wissen, dass es funktioniert,
auch für alle, die die Kurve immer angeschaut haben.
Aber wir würden jetzt einfach den Fall haben können,
dass K quasi das ausgegleicht, was oben kaputt gegangen ist.
Genau. Und bei dem Fall haben wir verloren. Wenn es genau so kaputt geht,
dass es wieder heil wird, bei der Übertragung,
wenn es hier nicht angekommen und dann Funktioniert das System nicht mehr.
Ich weiß nicht, aber warum. Nee, so wie
es jetzt hier drinsteht, kann es natürlich nicht mehr anders sein.
Also die Spezifikation kann es nicht anders.
Aber wenn das alles ganz unglücklich läuft und die Übertragungsrate,
also man hat zwei Kanäle, dann hat man genau natürlich ein Problem.
Wenn es wieder richtig korrekt, also wenn aus Versehen
doch das Richtige miteinander ankommt per Magic.
Aber das ist ja hier nicht vorgesehen,
weil hier das X sozusagen raustun und dann nehmen wir entweder
ist das sozusagen hier gleich oder das X war gleich 13,
dann haben wir
genau die Informationen
Entsprechend da drin. So, und hier oben ist eben auch
genau das mit der 13, die entsprechenden Frage der Kodierung ist.
Natürlich können wir immer haben, dass auch bei einer
sicheren Übertragung kann immer noch irgendwas kaputt sein.
Deswegen meine Originalpflatte gebe und du versuchst, sie auszulesen,
hast du gedacht, bei dem und den Lesefehler oder sowas.
Also wann diese Fehlerhaften Sachen da auftreten können,
ist ja unwahrscheinlich, aber es kann eben passieren.
Gut, damit haben wir jetzt sozusagen so einen Umlauf.
Was ist jetzt das Spannende an dem Ertin jedes Protokoll gewesen?
Es gibt also mehrere Sachen. Es gab am Anfang ein theoretisches Papier,
was gesagt hat, man auch mehr als ein Bit,
um diese Übertragung machen zu können.
Wurde auch gezeigt, wird Johnny veröffentlicht worden,
ich weiß leider nicht mehr, welches das war.
Jedenfalls habe ich das so dazu gehört. Das Spannende war,
dass dann irgendwelche Praktiker gekommen sind, die gesagt haben,
nö, das stimmt gar nicht.
Ich habe hier eine praktische Lösung, die macht das mit einem Wit.
So, und das ist dann schon eine ganz spannende Sache.
Das heißt, bei diesen Beweissachen muss man gut aufpassen,
wie trägfähig sie sind, weswegen man heute immer stärker auf Werkzeuge zurückgreift.
Das Problem, was man aber immer hat, ist,
wo auch, glaube ich,
die Fehler dann im wesentlichen Lagen waren bei der Übersetzung der
realweltlichen Sachen,
auf die entsprechenden Programmmodelle
Und wenn das falsch gemacht wird,
dann macht man irgendwelchen Blödsinn. So, das heißt,
ihr braucht irgendetwas, womit ihr so denken könnt,
dass ihr die Systeme auch so in die Programme reinbekommt,
dass sie, ich sag mal, pragmatisch richtig ankommen.
Und damit sie richtig ankommen, müssen sich die Mentalmodelle zwischen
der realen Welt und eurem Kopf und dem,
was ihr erzeugt, sollten sich letztendlich möglichst wenig unterscheiden.
Je größer diese Differenzen sind, desto schwieriger wird es.
Und das ist einer der Gründe, warum wir sozusagen vorschlagen,
dass wir Teile der Systeme mit Netzen entwickeln,
andere Teile aber nicht,
weil das dann einfach wieder adäquater ist mit Java
weit zu behalten
Problem ist es dann natürlich,
diese Sachen nicht mehr so in so Reißkerkübel einfließen können.
Aber bestimmte Substrukturen kann man durchaus fassen. Gut, das
waren so die Teile bis dahin. Und jetzt kann man
das Ganze sozusagen noch als gefärbtes Netz in Renio sich angucken.
Dass sozusagen die grundsätzliche Beschreibung, also die Spezifikation des entsprechenden Protokolls
und mit den entsprechenden Rückparametern als Netz dargestellt für diese Fälle.
Und wir haben das dann entsprechend als so ein Halbduplex-Kanal mit
Fehlererkennung, kann man es dann auch darstellen.
Das sind genau diese Transitionen, einmal oben rum oder unten rum,
entsprechend Dann kann man hingehen und sozusagen sich das nochmal angucken,
was man denn dazwischen so haben wird.
Hier wieder mit den Vergrübungen, also nur als Kanalinstanznetz erstmal
gesehen und nicht als, ich schalte jetzt auch so.
Das heißt, wie mir das vom Prinzip weiter anschaut.
Das heißt, damit gehen wir jetzt los und machen darunter dann die entsprechende Erklärung.
Das heißt, wir gehen so schrittweise in das System rein,
genauso wie ich jetzt eben gezeigt habe, ganz schnell,
1, 2, 3, wir haben diese Komponente,
diese Komponente, die wir ja voll und aus für diskutiert hatten.
Und dann muss man halt hingehen und diese Teile irgendwann ersetzen und
da muss man halt genau gucken, wie sind die Schnittstellen.
So, diese Schnittstelle hatten wir uns ja schon angeguckt und
die und dann muss man sich nur angucken,
was muss innen drin passieren
Und dass da natürlich irgendwelcher Blödsinn drin steigen kann,
dass ich also falsch initialisiere und hier eine Null und dann eine Null reinpacke,
das ist halt mein System natürlich sofort sozusagen in einer ungünstigen Situation.
Das ist nämlich nicht mehr durchkommt sozusagen. Ich kann ja
nur noch falsche Sachen übertragen, eigentlich immer was zu tun.
Ansonsten bei Charakterertragen wird es einfach liegen bleiben. Es wird
nicht mehr weitergehen. Gut, das Problem würde also,
wenn man das falsch initialisiert oder etwas,
würde da also nicht so günstig unterkommen.
Und das sind jetzt
die ganzen allgemeinen Beschreibungen
Und das Ganze kann ich jetzt also auch in Review sozusagen darstellen.
Ich kann diese, die Netze sieht man auch schon,
es nun alles in gelb jetzt hier,
wenn man es besser lesen kann, haben wir die einzelnen Bereiche,
dass mir was wegpackt und hier wieder sie Zurückübertragung mit den entsprechenden Fehler da drin,
den man sich da angucken kann.
Und dann entsprechend hier die Netzstrukturen, wie das ausschaut,
hier ist der Fehlerfall und ist jetzt die Blöcke sozusagen dahinter gelegt haben.
Was fehlt jetzt noch? Naja, da muss ich jetzt noch
die ganze Beschriftung machen, damit ich diese Fallunterscheidung auch wirklich drin habe.
Und dann kann ich hier die entsprechenden Sachen auch durchschalten.
Wir sind jetzt hier eckige Klammern,
wegen der entsprechenden Tuppelschreibweise in Reniu und ansonsten haben wir aber alles,
was wir hier drin haben wollten, auch mit dabei,
wobei hier das Error eben explizit sozusagen durchgezogen wird an den Stellen.
Gut, okay, damit bin ich mit den Sachen
soweit durch
So. Nehmen wir hier nochmal das Feuerwehrmann-Beispiel, wo es darum geht,
dass man eine gewisse Art von Nebenläufigkeit hat und es gibt sozusagen eine Art und Weise,
wie die, dass so ein System natürlich am besten funktioniert,
wenn es schön getaktet ist und wenn die Leute asymmetrisch in so einer Feuerkette,
es geht also ums Löschen von Feuer,
wenn wir so asymmetrisch sind, dann gibt es entsprechende Abstände,
da gibt es also eine ganz nette Betrachtung zum entsprechenden Aussagen in der Netztheorie,
wer Lust hat, kann sich da mal arbeiten von Petry angucken,
aber hier ist es einfach so ein Beispiel für wie man das Netz,
was er in sehr vielen Transitionen und so weiter und in größere Beschreibung hat,
hier nochmal anschaulicher beschrieben, wo ich mich genau darauf beziehe,
was wir gerade hatten mit,
dass man ein anschauliches Beispiel hat und wie man Systeme schachtelt miteinander.
Was wir haben, ist ein Systemnetz, das ist genau das,
was sie auch bei der Übungsaufgabe brauchen werdet,
wo ihr hingeht und in irgendeiner Weise eine Anfangsmarkierung habt und ihr startet irgendwie und sagt,
jetzt geht es weiter und ihr startet solche Feier,
so wie Feuerwehrleute und die werden auf die entsprechenden Stellen hier gelegt.
Die können vorwärts oder vorwärts gehen oder zurückgehen sozusagen bei diesen Sachen.
Und wenn sie hier sind, dann können sie hier was auslöschen.
Und wenn dreimal gelöscht wurde, dann ist das Feuer aus sozusagen.
Ist also ein sehr einfaches Beispiel, um mal zu zeigen,
was da drin so vom Prinzip passiert.
Es geht erst im Wesentlichen darum, was passiert da.
Spannend ist für euch hier diese entsprechende Beschriftung,
die da dransteht mit dem New Fireman.
Das muss irgendwie da sein. Und ja,
das mit dem Feuer wird eben am Anfang ja auch initialisiert mit,
dass das Feuer halt drei Marken enthält.
So, ach so, jetzt habe ich vielleicht nicht
die Nicht das Teil zum Schieben benutzen hier.
So. Wie sieht's aus? Wir haben dann den Feuerwehrmann,
den wir hier haben. Da haben wir auch ein Netz,
was wir jetzt erzeugen. Und so ein Feuerwehrmann ist dann ausgestattet mit einem entsprechenden,
wenn es hier ein New gibt, mit einem Bucket,
was hier mit draufgelegt wird.
Und das ist quasi die Initialmarkierung. Und dann kann er
sozusagen hier wie Phil machen und dann das Feuer im Feuer
Das auslöschen, dann kann er sich zurückziehen und dann kann er weitergehen.
Oder er kann hier Sachen austauschen. So, oder hier
kann er was austauschen. Ist die Frage, wozu musst du
eigentlich austauschen? Was bei so einer Feuermannkette üblich ist,
dass nicht jeder den Eimer nimmt und jeder rennt einzeln dahin,
sondern an einem bestimmten Ort teilen tauschen sie einmal aus und wechseln.
Das heißt, ich habe jetzt auf meinem Systemnetz,
was wir drüben haben, drei Feuerwehrleute,
die hier stehen und die immer hin und her laufen,
so ein bisschen eine Station und dann, wenn sie da sind,
können sie hier treffen und ihre Eimerchen austauschen.
Wie machen sie das? Naja,
sie machen hier den Exchange und da wird eben für den
Feuermann 1 und 2, der jeweils draufliegen,
wird jeweils
der Austausch vorgenommen
Genau diese beiden Dinge hier sind,
dass man sich ein Vollen gegen einen Lehren einmal letztendlich austauscht.
Ja, das ist eigentlich die Idee dabei. So,
und wenn ich den vollen Eimer habe,
benutze ich den vollen Eimer hier, um das Feuer auszulöschen.
Der Übergang hier sind ja ganz normal sich die Marken durchschiebe und dafür ist aber das Approach Fire,
ist eben, dass der Feuerwehrmann auch wach sein muss und noch einen Schritt machen kann.
Wenn halt ohnmächtig geworden ist wegen Rauchvergiftung oder weil er wegen der Schöpfung ausfällt,
dann gibt es eine Lücke da und dann hängt das ein Erzieher an der Stelle,
haben wir auch keine Lösung für,
weil wir dann nicht sagen können,
dass er doch über andere Stille weglaufen könnte,
dass noch ein Rettungsmann kommt,
das kann man auch noch alles modellieren,
wenn er Lust hat,
aber dann wird es noch
eine Ebene komplexer
So, und so ein Bucket ist eine ganz einfache Angelegenheit.
Dieser Bucket, den wir ja haben,
der ist entweder leer oder er ist voll. Und ja,
ich kann ihn füllen und ich kann ihn lehren und
ich kann noch mal abfragen, ob er voll ist.
Ja. Gut,
dann gehen wir jetzt hier entsprechend drauf und starten die Simulation
mit einem entsprechenden Simulationsschritt und haben jetzt da die Möglichkeit,
nur diese eine Transition zu feuern und sind da entsprechend dabei.
So, was haben wir jetzt hier? Da haben wir
jetzt die mittlere Maustaste und wenn ich da draufklicke,
kann ich auch den Feuerwehrmann dazu sehen,
der zugehört
Wenn ich jetzt hierhin klicke, kann ich wieder draufgehen und
auch den Feuerwehrmann angucken und da mit den Feuerwehren 3 und 2,
die ihr sehen könnt.
Und ich habe hier den Feuerwehrmann 3,
den hole ich jetzt mal nicht draus an der Stelle.
Ich bin jetzt hier rein, schaue in den Feuerwehrmann 2,
habe ich dort kwuppdiwupp den Bucket und wenn ich ein Bucket angucke,
dann ist das Ding leer.
Durch Daraufguck ist auch nur eine schwarze Marke drin,
der zeigt nur ein, was los ist und dann ist das Thema durch.
So, was kann er jetzt machen?
Er kann an seiner jeweiligen Stelle einen Refill machen,
also nur der hier vorne kann ein Refill veranstalten,
alle anderen können das nicht
So, das heißt, das ist, was der so macht,
ist, dass er jetzt hingeht und das Riefel aufruft,
was dazu führt, dass hier unten der geschaltet wird,
auf das Full.
Und hier oben auch dieser Zustand passiert, ist,
dass er einen Reifill gemacht hat.
Ob man das Exchange oder Reifill macht, ist also gleich.
Das Reifill kann man nur der machen,
der ganz links steht sozusagen in unserer Kette,
weil die anderen haben die Möglichkeiten nicht.
Vom Prinzip kürzlich geht er Feuerwehrmann. So, was kann
er jetzt machen? Jetzt kann er hier links laufen.
Dann haben wir die beiden Feuerwehrleute hier.
Beide sind an dieser Stelle. Da und dort liegen hier
die entsprechenden Netze dazu
Und ja, jetzt ist es ein bisschen schwierig,
wie wir das hier schalten. Wir brauchen jetzt die,
hier oben dieses Exchange, muss ich jetzt noch mal hier rüberschieben.
Ich glaube, das große Fenster ist eigentlich kleiner schieben.
Ja, ich könnte so ein bisschen lein machen, aber ich bin jetzt einfach durch hier. So,
und da sind wir hier,
ich kann es noch mal weiter rüberpacken,
weil das brauchen wir ja eigentlich nur,
jetzt können wir hier unten sehen, was da passiert,
dass wir hier nämlich diesen Wechsel haben auf das Teil hier unten,
auf den Bucket, der jetzt gewechselt ist,
nämlich dass der volle Bucket,
der jetzt hier drüben ist,
während der andere Bucket sozusagen jetzt
hier oben ist und der ist entsprechend leer
So, und da habe ich das Ganze,
der Austausch passiert, hat es rübergegeben und jetzt können wir
das Ding also laufen lassen und entsprechend ausführen lassen.
Gut, und die einzelnen Schritte ist dann so,
dass es bis zum Feuerlöschen kommt und das geht jetzt hier ganz schnell,
1, 2, 3 und das Feuer ist gelöscht und ihr seid sozusagen frei von dem Teil.
Anmerkung dazu, so eine Art von Netz wird erwartet von der Hausaufgabe,
dass ihr hingeht, das zu bauen mit einer entsprechenden Action da dran,
wo ihr die Java-Code dranschreibt mit einem einfachen Aufruf auf so
einen entsprechenden ABT-Aufruf,
wo man irgendeine Eingabe macht und dann was ausgibt
Es gibt halt Bonuspunkte für die Leute, die dort Bonuspunkte haben wollen,
für irgendwelche netten Darstellungen, was immer ihr da wasseln wollt.
Ja, war ja schon seit Jahren Nacht, ist das ja kein Problem.
Erstes Semester, jetzt ist eineinhalb Jahre, sind Jahre...
Na gut, okay, alles klar, ich sehe euch
in sechs Wochen dann nochmal. Ich mache die letzte Woche,
da werden wir uns nochmal P-Rams beschäftigen,
da werden wir uns nochmal einen Fritt zurück machen in die Dinge,
die sich mit Parallelen,
in Access Machines sozusagen beschäftigen und mit Satiralgorithmen
Eine der Sachen, die immer spannender wird,
wenn man sich jetzt hier anguckt, okay,
hier mache ich jetzt irgendwelche einfachen Systeme,
durch komplexere Systeme haben will, muss ja komplexere Algorithmen haben.
Da werden wir so ein bisschen mit Algorithmen nochmal kurz auseinandersetzen
, so wirklich ein, zwei Stündchen.
Und der letzte Termin, der wird auch nicht aufgenommen.
Da werde ich dann nochmal Klausursprachen beantworten, allgemein ein paar
Dinge wiederholen. Ich meine, was man wiederholen sollte,
habt ihr vorhin auch alle dabei.
Und wenn ihr Fragen habt zu einzelnen Teilen der Veranstaltung,
dann kann ich euch da entsprechend was zu sagen.
Das ist so eine Fragestunde nochmal. Gut,
gibt es noch Fragen von irgendeiner anderen Seite,
von euch
Ansonsten wünsche ich euch pro Festtage einen guten Rutsch und auf
einen gesunden Start dann wieder im neuen Jahr dann machen.
Bis dann