ich sitze hier an einer Aufgabe wo ein nichtdeterministischer Automat in ein Petri Netz umgewandelt werden soll. Dabei komme ich nicht weiter, da mir zwei Dinge unklar sind.
Der Zustandsgraph des Automaten sieht so aus:
[Bild Nr. 1 (fehlt/gelöscht)]
Dabei geht es mir explizit um den Zustandswechsel von Z1 nach Z2 und von Z2 nach Z1
[Bild Nr. 2 (fehlt/gelöscht)]
Wie werden diese beiden Zustandswechsel in einem Petri Netz gelöst?
Wird das vielleicht so
[Bild Nr. 3 (fehlt/gelöscht)]
oder so
[Bild Nr. 4 (fehlt/gelöscht)]
gemacht?
Meine zweite Frage wäre, wie dieser Fall
[Bild Nr. 5 (fehlt/gelöscht)]
in einem Petri Netz aussehen würde.
Vielen Dank schon mal im Voraus.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.