Sprache eines Netzes

• abstrahiere von Folge von Zuständen z₀→_t1z₁→_t2z₂…

  zur Spur: Folge der dabei geschalteten Transitionen t₁t2…

  ist Wort über Alphabet = Transitionen

• für gegebenes Netz und Startzustand: betrachte Menge aller möglichen Spuren (Spursprache)

  vergleiche: Sprache eines endlichen Automaten

• aber: es gibt Petri-Netze mit komplizierten (= nicht regulären) Spursprachen