Bearbeiten von „Gedächtnisprotokoll FGI208-1“
Zur Navigation springen
Zur Suche springen
Warnung: Du bist nicht angemeldet. Deine IP-Adresse wird bei Bearbeitungen öffentlich sichtbar. Melde dich an oder erstelle ein Benutzerkonto, damit Bearbeitungen deinem Benutzernamen zugeordnet werden.
Die Bearbeitung kann rückgängig gemacht werden. Bitte prüfe den Vergleich unten, um sicherzustellen, dass du dies tun möchtest, und veröffentliche dann unten deine Änderungen, um die Bearbeitung rückgängig zu machen.
Aktuelle Version | Dein Text | ||
Zeile 1: | Zeile 1: | ||
Es gab 13 Aufgaben. | Es gab 13 Aufgaben. | ||
Davon drei mit kurzen multiple-choice Fragen (je drei Punkte), | |||
zwei zu P/T-Netzen, | |||
eine zu Harrel-Graphen, | |||
drei zu Prozesstermen (vor allem BPA), | |||
eine zu Nachrichten in verteilten Systemen. | |||
== P/T-Netze== | |||
Welches ist die richtige Definition einer Lebendigkeitsinvarianz | Welches ist die richtige Definition einer Lebendigkeitsinvarianz | ||
* | * \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m') | ||
* | * \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m') | ||
* | * \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m) | ||
Eine multiple-choice-Frage zum | Eine multiple-choice-Frage zum Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt. | ||
== | == Harrel-Graphen == | ||
Es war ein | Es war ein Harrel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden. | ||
Um was erweitern | Um was erweitern Harrel-Graphen endliche Automaten? | ||
Definieren sie | Definieren sie re-irgendwas. | ||
== Prozessterme == | == Prozessterme == | ||
Zeile 49: | Zeile 33: | ||
Markieren Sie bisimilare Knoten. | Markieren Sie bisimilare Knoten. | ||
Berechnen Sie beide Normalformen mit den Regeln | Berechnen Sie beide Normalformen mit den Regeln 1 bis 5. | ||
Sind die Terme bisimilar? Warum? | Sind die Terme bisimilar? Warum? | ||
Multiple-Choice dazu. | Multiple-Choice dazu. | ||
== 13: verteilte Systeme == | == 13: verteilte Systeme == | ||
Zeile 66: | Zeile 47: | ||
sind | sind | ||
[[Kategorie:Gedaechtnisprotokoll | [[Kategorie:Gedaechtnisprotokoll]] |