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

Kapitel:

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