Zustände, Übergänge

• Zustand eines Netzes N ist Abbildung z : S→

  (für jede Stelle eine Anzahl von Marken)

• in Zustand z ist eine Transition t aktiviert, wenn jede Stelle ihres Vorbereiches wenigstens eine Marke enthält
• eine aktivierte Transition schaltet: verbraucht Marken im Vorbereich, erzeugt Marken im Nachbereich.

  das ist eine Relation auf Zuständen z₁→_tz₂: aus Zustand z₁ wird durch Schalten von t der Zustand z₂ erreicht.

• zum Netz sollte auch Anfangszustand z₀ gegeben sein. Definition: erreichbare Zustände, tote Zustände