Formale Systeme, Automaten, Prozesse: Vorlesung (Mo, 08.07.2019)

Anmeldung erforderlich

RWTH

Für RWTH-Angehörige und aus dem RWTH-Netz verfügbar

Anmelden
  • Einbetten

Kapitel:

00:43:29
Petrinetze
00:46:17
Mutual Exclusion Protokols
00:56:32
Transitionen in Petri Netzen