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 1
Dabei geht es mir explizit um den Zustandswechsel von Z1 nach Z2 und von Z2 nach Z1.
Wie werden diese beiden Zustandswechsel in einem Petri Netz gelöst?
Wird das vielleicht so
Bild 2
oder so
Bild 3
gemacht?
Meine zweite Frage wäre, wie dieser Fall
Bild 4
in einem Petri Netz aussehen würde.
Vielen Dank schon mal im Voraus.
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt.