Gedächtnisprotokoll FGI208-1: Unterschied zwischen den Versionen
(Die Seite wurde neu angelegt: Es gab 13 Aufgaben. Davon drei mit kurzen multiple-choice Fragen, zwei zu P/T-Netzen, eine zu Harrel-Graphen, drei zu Prozesstermen (vor allem BPA), eine zu Nachri...) |
Keine Bearbeitungszusammenfassung |
||
Zeile 1: | Zeile 1: | ||
Es gab 13 Aufgaben. | Es gab 13 Aufgaben. | ||
Davon drei mit kurzen multiple-choice Fragen, | Davon drei mit kurzen multiple-choice Fragen (je drei Punkte), | ||
zwei zu P/T-Netzen, | zwei zu P/T-Netzen, | ||
Zeile 11: | Zeile 11: | ||
eine zu Nachrichten in verteilten Systemen. | eine zu Nachrichten in verteilten Systemen. | ||
== P/T-Netze== | |||
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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt. | |||
== Harrel-Graphen == | |||
Es war ein Harrel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden. | |||
Um was erweitern Harrel-Graphen endliche Automaten? | |||
Definieren sie re-irgendwas. | |||
== Prozessterme == | |||
Gegeben zwei Prozessterme. | |||
Zeichnen Sie den Baum dazu. | |||
Markieren Sie bisimilare Knoten. | |||
Berechnen Sie beide Normalformen mit den Regeln 1 bis 5. | |||
Sind die Terme bisimilar? Warum? | |||
Multiple-Choice dazu. | |||
== 13: verteilte Systeme == | |||
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden. | |||
Es sollten Modelle gemalt werden, die | |||
* total, aber nich kausal | |||
* kausal, aber nicht total | |||
sind | |||
[[Kategorie:Gedaechtnisprotokoll]] | [[Kategorie:Gedaechtnisprotokoll]] |
Version vom 15. Februar 2008, 13:05 Uhr
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
- \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 Pharig-Bild einer Markierung (\Phi(m)). Schade, dass es sowas nicht gibt.
Harrel-Graphen
Es war ein Harrel-Graph und ein erreichbarkeitsgraph ohne Bezeichnungen gegeben. Die Bezeichnungen mussten ergänzt werden.
Um was erweitern Harrel-Graphen endliche Automaten?
Definieren sie re-irgendwas.
Prozessterme
Gegeben zwei Prozessterme.
Zeichnen Sie den Baum dazu.
Markieren Sie bisimilare Knoten.
Berechnen Sie beide Normalformen mit den Regeln 1 bis 5.
Sind die Terme bisimilar? Warum?
Multiple-Choice dazu.
13: verteilte Systeme
In eine Darstellung von Nachrichten sollten die Zeitvektoren eingetragen werden.
Es sollten Modelle gemalt werden, die
- total, aber nich kausal
- kausal, aber nicht total
sind