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
Gegeben ein P/T-Netz.
Zeichnen Sie den Erreichbarkeitsgraphen.
Multiple-Choice:
- Ist der Erreichbarkeitsgraph endlich?
- Ist das Netz beschränkt?
- Sind p_1 und p_3 irgendwas
Wenn ein Netz verklemmungsfrei ist, ist es auch lebendig (Ja/Nein)
Wenn ein Netz fair ist, dann ist es auch lebendig (Ja/Nein)
Welches ist die richtige Definition einer Lebendigkeitsinvarianz
- \forall m \in R(N,m_0) \forall m' \in R(N,m_0) \phi(m')
- http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m_0)%20%5Cphi(m')
- \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m')
- http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(m')
- \forall m \in R(N,m_0) \forall m' \in R(N,m) \phi(m)
- http://mokrates.de/cgi-bin/texstring?%5Cforall%20m%20%5Cin%20R(N,m_0)%20%5Cforall%20m'%20%5Cin%20R(N,m)%20%5Cphi(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