Dynamische Elemente

Aus Operations-Research-Wiki
Version vom 28. Februar 2010, 11:24 Uhr von Gehring (Diskussion | Beiträge)

(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Wechseln zu: Navigation, Suche

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!)