Formale Systeme, Automaten, Prozesse: Prozesse (Mo, 17.07.2017)
Zur Veranstaltungsseite
  • Einbetten

Beschreibung:

• Synchronisierte Produkte von Automaten
• Petrinetze

Kapitel:

00:00:00
Mutual-Exclusion-Problem
00:26:44
Verfahren von Peterson
01:16:13
Petrinetze