Le blue

Hallo Le blue,

das Beispielbild "Schalten einer Transition" auf der Seite Petri-Netz erscheint mir fehlerhaft, da vor der Transition 5 Markierungen im Netz enthalten sind, danach jedoch 6. Müsste nicht die Anzahl der Markierungen unabhängig von den durchgeführten Transitionen im Netz immer gleich bleiben?

Schöne Grüße, Michael

Das Beispiel ist korrekt, die Anzahl der Markierungen muss nicht immer gleich bleiben. In diesem Fall liegt das an der Gewichtung der von der Transition $t$ ein- und ausgehenden Kanten. Das Gewicht einer eingehenden Kante beschreibt, wieviele Marken beim Schalten konsumiert werde, das Gewicht einer ausgehenden, wieviel produziert werden. Im Beispiel werden beim Schalten von Transition $t$ zwei Marken aus $s_{1}$ konsumiert (und eine aus $s_{2}$) und in $s_{4}$ drei Marken (und eine in $s_{3}$) produziert (Gewichte 2 und 3 an den Kanten).

Eine weitere Möglichkeit, wie die Anzahl der Marken zu- oder abnehmen kann (mit allen Kantengewichten gleich 1), ist, dass eine Transition mehr/weniger Ausgangkanten als Eingangskanten hat. Dann wird pro Eingang eine Marke konsumiert, und pro Ausgang eine produziert, was in der Summe die Anzahl der Marken im Netz erhöht/verringert. Siehe auch Beschränktheit Eigenschaft (unbeschränkte Netze haben gerade die Eigenschaft, dass die Anzahl der Marken unendlich wachsen kann). --Le blue (Diskussion) 14:09, 22. Feb. 2017 (CET)