Nebenläufige Automaten (Petri-Netze)

Ziel: Modellierung von Systemen mit verteiltem Zustand.

P definiert Zustandsübergangssyst. auf $ \mathbb {N}$S mit Alphabet T.

In Spezialfällen ist die erreichbare Zustandsmenge endlich (und damit die Sprache regulär)


Johannes Waldmann 2012-02-01