Kann das jemand an einem Beispiel erläutern?

In P/T Netzen ist es ja klar, da ich mich auf einen maximalen Zählerstand begrenze. Aber wie läuft es in den gefärbten Netzen?

In gefärbten Petrinetzen kannst du doch z.B. Zahlen als Marke benutzen.
Eine Transition kann also mit einem Guard "x = 0" geschützt werden. Andere Transitionen könnten eine Zahl y von einem Platz nehmen und beispielsweise y+1 oder y-1 zurücklegen.

Ein Nulltest wird also simuliert, indem nicht etwa auf echte Leere eines Platzes getestet wird, sondern indem überprüft wird, ob eine 0 auf dem Platz liegt.

In P/T-Netzen ist das nicht möglich, da die Marken ununterscheidbar sind.

Ah ja, an die Guards habe ich gar nicht gedacht…
Danke!