Dynamische Elemente: Unterschied zwischen den Versionen
Aus Operations-Research-Wiki
(kein Unterschied)
|
Version vom 28. Februar 2010, 12:11 Uhr
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!