FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

FGI-2 Zettel 2: Aufgabe 2.2b

FGI-2 Zettel 2: Aufgabe 2.2b 2006-11-03 16:27
Hackbert
Es heißt in aufgabe 2.2b:
Gegeben sei ein P/T-Netz und eine Schaltfolge
[img]http://mokrates.de/cgi-bin/texstring?w%20%5Cin%20T%5E*[/img]. Existiert dann eine Markierung m, in der w aktiviert ist?

Ich verstehe hier die Frage irgendwie nicht ganz. Ist damit gemeint: "Kann es eine Markierung m geben, in der w aktiviert ist?" oder "Existiert für jedes Netz und jede Schaltfolge immer ein m, in der w aktiviert ist?"

Re: FGI-2 Zettel 2: Aufgabe 2.2b 2006-11-03 16:59
theorinix
Es heißt in aufgabe 2.2b:
Gegeben sei ein P/T-Netz und eine Schaltfolge
[img]http://mokrates.de/cgi-bin/texstring?w%20%5Cin%20T%5E*[/img]. Existiert dann eine Markierung m, in der w aktiviert ist?

Ich verstehe hier die Frage irgendwie nicht ganz. Ist damit gemeint: "Kann es eine Markierung m geben, in der w aktiviert ist?" oder "Existiert für jedes Netz und jede Schaltfolge immer ein m, in der w aktiviert ist?"

ja.
Da wir weder das P/T-Netz noch die Schaltfolge (das Wort) [img]http://mokrates.de/cgi-bin/texstring?w%20%5Cin%20T%5E*[/img] kennen,
ist das doch die gleiche Aussage.

Re: FGI-2 Zettel 2: Aufgabe 2.2b 2006-11-03 17:12
f0k
Ich verstehe hier die Frage irgendwie nicht ganz. Ist damit gemeint: "Kann es eine Markierung m geben, in der w aktiviert ist?" oder "Existiert für jedes Netz und jede Schaltfolge immer ein m, in der w aktiviert ist?"
Um die Frage nochmal etwas anders zu stellen: "Kann man sich für jede Schaltfolge w eine Markierung m vorstellen, so dass w aktiviert ist?"
Gefragt wird also nur, ob es so eine Markierung m theoretisch gibt - es ist dabei unwichtig, ob die Markierung in dem Netz auch erreicht werden kann (die Anfangsmarkierung m_0 des Netzes interessiert uns kein Stück).

Re: FGI-2 Zettel 2: Aufgabe 2.2b 2006-11-04 09:54
theorinix
Ich verstehe hier die Frage irgendwie nicht ganz. Ist damit gemeint: "Kann es eine Markierung m geben, in der w aktiviert ist?" oder "Existiert für jedes Netz und jede Schaltfolge immer ein m, in der w aktiviert ist?"
Um die Frage nochmal etwas anders zu stellen: "Kann man sich für jede Schaltfolge w eine Markierung m vorstellen, so dass w aktiviert ist?"
Gefragt wird also nur, ob es so eine Markierung m theoretisch gibt - es ist dabei unwichtig, ob die Markierung in dem Netz auch erreicht werden kann (die Anfangsmarkierung m_0 des Netzes interessiert uns kein Stück).

total Richtig