Hallo,
kann mir jemand bitte erklären was hier mit parameterisierter Initialmarkierung gemeint ist. Oder am besten gleich das Netz N1 erklären?
Ich komm grad nich ganz mit.
Aufgabenzettel
hier
Mit 'parametrisiert' ist lediglich gemeint, dass die Anzahl der Marken,
die zu Beginn auf dem Platz r liegen, nicht (wie sonst) durch deren
Anzahl (z.B. 1 oder 5) gegeben ist, sondern durch den Parameter n.
Der Erreichbarkeitsgraph wird jetzt abhängig von diesem n untersucht.
(Wenn du ein einfaches Netz mit einer Stelle p, einer Transition t und
einer Kante (p,t) hast und nur eine Marke auf p, dann ist der Erreichbarkeits-
graph einfach 1'p – t –> 0'p. Wenn zwei Marken auf p liegen, sieht
es schon so aus 2'p – t –> 1'p – t –> 0'p und wenn du allgemein
n Marken auf p legst, dann eben so n'p – t –> (n-1)'p – t –> (n-2)'p
– t –> …. – t –> 2'p – t –> 1'p – t –> 0'p.)
Das Netz N1 ist ansonsten ein normales P/T-Netz. Um zu verstehen, was
es so tut, solltest du den Erreichbarkeitsgraphen zeichnen (ist dann auch
gleich Teilaufgabe 1).
Frank :)
sollen wir den erreichbarkeitsgraphen für n marken, also unendlich vielen marken auf r zeichnen?
wenn man das netz mal schnell in renew modelliert kann man damit sehr einfach den erreichbarkeitsgraphen überschauen ;)
n Marken sind *nicht* unendlich viele Marken!
n ist ein Parameter und steht stellvertretend für eine natürliche
Zahl (0, 5, 12, …). Das Beispiel in meinem vorherigen
Posting mit der einen Stelle und der einen Transition illustriert
das. (Das ist zugegeben ein sehr einfaches Netz.)
Frank :)
wenn man das netz mal schnell in renew modelliert kann man damit sehr einfach den erreichbarkeitsgraphen überschauen ;)
??? Ich wusste gar nicht, dass man mit Renew Erreichbarkeitsgraphen zeichnen kann?
Frank <– jetzt gerade etwas verwirrt….
wenn man das netz mal schnell in renew modelliert kann man damit sehr einfach den erreichbarkeitsgraphen überschauen ;)
??? Ich wusste gar nicht, dass man mit Renew Erreichbarkeitsgraphen zeichnen kann?
Frank <– jetzt gerade etwas verwirrt….
nicht zeichnen…aber man kann sehen was passiert wenn man t1 u.s.w. schaltet…
