Formale Systeme, Automaten, Prozesse: Prozesse (Di, 18.07.2017)
Zur Veranstaltungsseite
  • Einbetten

Beschreibung:

• Synchronisierte Produkte von Automaten
• Petrinetze

Kapitel:

00:18:45
Petrinetze
00:34:52
Analyse von Petrinetzen