Gedächtnisprotokoll FGI208-1

Aus Fachschaft_Informatik
Zur Navigation springen Zur Suche springen

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

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