THI Gedächtnisprotokoll WS 06/07

Mündliche Prüfung zu Formale Spezifikationen von Systemen

1. Teil:

• Welche P/T-Netze gibt es?
• Wie unterscheiden sie sich?
• Aufgabenstellung:

P/T-Netz gegeben

Fragen:

- Ist es beschränkt?

- Ist es lebendig?

- Wenn nein, wie müßte man es verändern (ohne Stelle u. Transitionen hinzuzufügen) damit es lebendig ist?

- Macht daraus ein Prozessnetz (es wurde vorgegeben, welche Transitionen schalten sollten)

2. Teil:

• Gegeben:

1 Signatur

1 Spezifikation, die die Signatur um Gleichungen erweitert

1 weitere Spezifikation, die die erste Spezifikation um einige Gleichungen erweitert

• Fragen: (Antwort muss begründet sein)

1. Sind Signatur und 1. Spezifikation:

- konsistent?

- vollständig?

- konservativ?

2. Sind 1. und 2. Spezifikation

- konsistent?

- vollständig?

- konservativ?