Hallo,

wir versuchen grad eine Übungsaufgabe aus dem Skript Teil2 S.230
Aufgabe 5.26.

Hier soll man den Überdeckungsgraphen zum angegeben Netz zeichnen.

Hier unser Beispiel:
http://www.pic-upload.de/29.03.09/n97gi1.jpg

Ist das so richtig ?
Ab der markierung (w,0,1) wo wir a schalten können sind wir uns nich sicher, ob die nachfolgemarikerung (w,w,1) ist … da wir a ja eig. nur sooft schalten können wie wir d geschaltet haben.
d kann man ja beliebig oft schalten.
Braucht man da noch eine abhängigkeit ?

ciao

Eure Lösung ist (fast) richtig. In der Pseudomarkierung (w,0,1) wird angenommen, dass beliebig viele Marken auf p1 liegen. Wenn die Transition a eine der Marken wegnimmt, sind es immer noch beliebig viele. Der Pseudomarkierung fehlt quasi das Gedächtnis, wie viele Marken genau auf der Stelle liegen.

Zum "fast richtig": Eurem Diagramm fehlen noch mögliche Übergänge. In (w,w,1) sind alle Transitionen aktiviert.

danke für die antwort,

hier die korrigierte version:
http://www.pic-upload.de/30.03.09/ozp1ri.jpg

sollte nun stimmen oder ?

ah da fehlt noch der d übergang im zustand (w,w,1) neben der a schleife