Quelltext der Seite 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?