Formale Systeme, Automaten, Prozesse: Prozesse (Mo, 17.07.2017)
Zur Veranstaltungsseite
Aktueller Zeitpunkt 0:00
Dauer -:-
Geladen: 0%
Streamtyp LIVE
Verbleibende Zeit -:-
 
1x
  • Einbetten

Beschreibung:

• Synchronisierte Produkte von Automaten
• Petrinetze

Kapitel:

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