Einleitung

• Verhalten nebenläufiger Systeme spezifizieren und modellieren
• Spezifikation (Beispiel): Spursprache (Menge der möglichen Reihenfolgen von atomaren Aktionen)
• Modell (Beispiel): Petri-Netz (nebenläufiger Automat)

  eingeführt von Carl Adam Petri, 1962

Vergleiche: Beschreibung/Modellierung sequentieller Systeme durch reguläre Sprachen/endliche Automaten