Dynamische Elemente
Aus Operations-Research-Wiki
Die dynamischen Elemente in Petri-Netzen heißen Marken (oder auch Markierungen). Sie können sich in Stellen und Transitionen befinden und geben den Zustand des Systems an.
In ihrer einfachsten Form sind Marken nicht voneinander zu unterscheiden und werden beim Schalten einer Transition aus deren Eingangsstelle(n) entnommen und in deren Ausgangsstelle(n) erzeugt. (Marken werden in einem Petri-Netz also nicht bewegt, sondern entfernt und erzeugt!)