Gedächtnisprotokoll FGI208-1
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