Seite 1 von 1

Fehler in Modul11?

Verfasst: 28. Feb 2010 18:18
von Radze
Auf Folie 11 in Modul scheint sich ein kleiner Fehler eingeschlichen zu haben.
Der letzte Punkt sieht folgendermaßen aus:
Für jede mögliche Transition (s1,e1,s1´) von TS1 mindestens eine
Transition von TS, die folgende Form hat: (s1,s2)-e1->(s1´,s2´).
Sollte bei asynchroner Nebenläufigkeit der Zustand s2 nicht gleich bleiben? Also:
(s1,s2)-e1->(s1´,s2)
Zumal auch auf der ganzen Folie kein s2´ für ->1 definiert wurde.
Altnernativ kann mach auch fordern, dass s2 = s2´ (ähnlich zu Folie 16). Aber auch dieses ist nirgendwo passiert.

Re: Fehler in Modul11?

Verfasst: 2. Mär 2010 16:29
von schuster
Radze hat geschrieben:Auf Folie 11 in Modul scheint sich ein kleiner Fehler eingeschlichen zu haben.
Der letzte Punkt sieht folgendermaßen aus:
Für jede mögliche Transition (s1,e1,s1´) von TS1 mindestens eine
Transition von TS, die folgende Form hat: (s1,s2)-e1->(s1´,s2´).
Sollte bei asynchroner Nebenläufigkeit der Zustand s2 nicht gleich bleiben? Also:
(s1,s2)-e1->(s1´,s2)
Zumal auch auf der ganzen Folie kein s2´ für ->1 definiert wurde.
Altnernativ kann mach auch fordern, dass s2 = s2´ (ähnlich zu Folie 16). Aber auch dieses ist nirgendwo passiert.
Richtig, es müßte (s1, s2) -e1-> (s1', s2) heißen. Danke für den Hinweis.

Beste Grüße,

Dieter Schuster