https://wiki.freitagsrunde.org/index.php?action=history&feed=atom&title=THI_Ged%C3%A4chtnisprotokoll_WS_06%2F07 2026-04-04T09:42:02Z Versionsgeschichte dieser Seite in FreitagsrundenWiki MediaWiki 1.31.16 https://wiki.freitagsrunde.org/index.php?title=THI_Ged%C3%A4chtnisprotokoll_WS_06/07&diff=8895&oldid=prev 2007-02-13T13:07:27Z

<p>prüfung</p> <p><b>Neue Seite</b></p><div>'''Mündliche Prüfung zu Formale Spezifikationen von Systemen'''<br /> <br /> 1. Teil:<br /> * Welche P/T-Netze gibt es?<br /> * Wie unterscheiden sie sich?<br /> * Aufgabenstellung:<br /> : P/T-Netz gegeben<br /> : Fragen:<br /> : - Ist es beschränkt?<br /> : - Ist es lebendig?<br /> : - Wenn nein, wie müßte man es verändern (ohne Stelle u. Transitionen hinzuzufügen) damit es lebendig ist? <br /> : - Macht daraus ein Prozessnetz (es wurde vorgegeben, welche Transitionen schalten sollten)<br /> <br /> 2. Teil:<br /> * Gegeben:<br /> : 1 Signatur<br /> : 1 Spezifikation, die die Signatur um Gleichungen erweitert<br /> : 1 weitere Spezifikation, die die erste Spezifikation um einige Gleichungen erweitert<br /> <br /> * Fragen: (Antwort muss begründet sein)<br /> : 1. Sind Signatur und 1. Spezifikation:<br /> : - konsistent?<br /> : - vollständig?<br /> : - konservativ?<br /> : 2. Sind 1. und 2. Spezifikation<br /> : - konsistent?<br /> : - vollständig?<br /> : - konservativ?</div>

10.23.42.198