FB18 - Das Forum für Informatik

fb18.de / Bachelorstudieng / PM Formale Informatik

FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem

FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-07 14:54
MB
über RENEW haben sich ja schon viele gefreut.
mein problem ist, dass ich machen kann was ich viel, aber eine von einer
transition ausgehende kante die mit [x,y,[b,z]] gewichtet ist legt in einen
Platz immer nur die "default" marken bzw. zählt für diesen Platz hoch.
wenn ich also bspw. t1 feuere und damit [x,y,[b,z]] zB mit ["A","B",["C","D"]]
belege so sollte es ja möglich sein dies auch anstat von "1" auf eine Stelle
zu legen. ich hab keinen schimmer.

Re: FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-07 17:28
MB
da ich glaube, dass ich mich nicht ganz deutlich ausgedrückt habe,
hier mal mit screens.

ich habe diese netz gebastelt:
[img]http://img278.imageshack.us/img278/59/problem1dz2.th.gif[/img]

wenn ich die Simulation starte steht aber auch schon nicht mehr ["A","B"],
wie bspw in Valk's Aufgaben:
[img]http://img386.imageshack.us/img386/4175/problem2ch2.th.gif[/img]

nach dem schalten der transition ist das sowieso der fall:
[img]http://img386.imageshack.us/img386/5913/problem3jr9.th.gif[/img]

ich möchte das jetzt überall ["A","B"] erscheint. hat das jmd mal bei renew
rausgefunden. danke

Re: FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-07 17:37
georg
Bei der Simulation wird standardmäßig nur die Anzahl
der Marken in jeder Stelle angezeigt. Wenn du sehen
willst, was für Marken da genau drin liegen, musst du
die Stelle anklicken (ich glaube, mit der rechten Taste).

Re: FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-07 18:21
Viprex
Bei der Simulation wird standardmäßig nur die Anzahl
der Marken in jeder Stelle angezeigt. Wenn du sehen
willst, was für Marken da genau drin liegen, musst du
die Stelle anklicken (ich glaube, mit der rechten Taste).

korrekt. Einfach rechtsklicken und schon siehst du, welche Marken drin liegen.

Es werden also die korrekten Marken verschoben.

Ihr müsst auch aufpassen, dass ihr nicht aus Versehen nochmal rechts auf eine Kante klickt. Denn dann steht da noch eine Variable dran (genauso als wenn man div. Male rechts auf einen Platz klickt - dann kommen dort auch div. Marken). Und dann zieht er nämlich auch immer alle Variablen vom Platz. Das hat mich lange Zeit gekostet das zu finden, daher der Tipp hier.

Re: FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-07 18:22
MB
nein, das muss gehen. bei den beispielen von valk tut es das ja auch.

Re: FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-07 18:24
Viprex
du meinst in eurer Ü-Gruppe? Ja, dann klicke doch einfach mal alle Plätz einmal rechts an, wenn du dich in der Simulation befindest. Dann siehst du, dass es geht. Ich weiß leider nicht, wie ich die default Einstellung dazu ändere, aber händisch gehts wunderbar, ist halt nur etwas aufwendig ;-(

Re: FGI-2 Zettel 3: Aufgabe 3.1 RENEW problem 2006-11-08 13:18
MB
valk konnte mir die frage beantworten.
mein problem lag auch wo anders als erwartet.

Net/Marking/expanded tokens <- macht die die "farbigen" marken sichtbar.

desweiteren scheiterte mein netz bisher an einem fehler der mir äusserst
rätselhaft erschien, bis ich vorhin feststellte, dass ich mich bei den guards
bei "equals" auf insgesamt drei verschiedene weisen verschrieben hatte… [img]http://www.fb18.de/gfx/lachen.gif[/img]