Hallo,
bin zur Zeit für eine Prüfung am lernen und bräuchte ein bischen Hilfe. Habe zwei Aufgaben bearbeitet und wüsste jetzt gerne ob die Lösungen so in Ordnung sind.
Aufgabe 1:
Umwandlung Automat in ein Petri Netz
Aufgabenstellung und meine Lösung
http://s14.directupload.net/images/130316/xbqf8eeu.jpg
Aufgabe 2:
Überprüfung von E/A-Parren auf konsistenz mit Hilfe des Verfahren zur Lokalisierung konstanter Fehler
Aufgabenstellung:
http://s14.directupload.net/images/130316/iqmeq6ys.jpg
Vorgehensweise laut Script:
http://s1.directupload.net/images/130316/gjylysd3.jpg
Meine Lösung:
Teil 1:
http://s1.directupload.net/images/130316/6a4sp3t4.jpg
Teil 2:
http://s7.directupload.net/images/130316/vgko6qyk.jpg
Teil 3:
http://s7.directupload.net/images/130316/3ayobk5e.jpg
Bei der zweiten Aufgabe sind nach meiner Lösung noch alle E/A-Paare für die drei Automaten konsistent, da die Zustandsmengen nie leer sind.
Ich hoffe mal das ich hier eine Antwort bekomme und danke deswegen schon mal im voraus für eure Mithilfe.
Gruß, Sebastian