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')
• 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