|
00:00:02
|
Wiederholung |
|
00:05:50
|
Petrinetze |
|
00:08:07
|
Carl Adam Petri |
|
00:08:54
|
Grundprinzipien |
|
00:11:53
|
Beispiel: Mutual Exclusion (Mutex) |
|
00:15:16
|
Definition: Petrinetz |
|
00:16:55
|
Vorbereich, Nachbereich |
|
00:19:26
|
Markierung, Markenzahl |
|
00:22:25
|
Tangente zu technisch/wissenschaftlicher Terminologie |
|
00:25:50
|
Schaltregel, Idee, Definition |
|
00:28:49
|
Beispiel |
|
00:29:51
|
Beispiel: diverse Kaffeeautomaten |
|
00:40:37
|
Anmerkungen |
|
00:42:45
|
Lauf, Erreichbarkeit |
|
00:46:45
|
Verklemmung/Deadlock, beschränkt |
|
00:48:03
|
Beispiel |
|
00:50:57
|
Systemanalyse: Erreichbarkeit |
|
00:51:32
|
Erreichbarkeitsbaum |
|
00:53:21
|
Beispiel |
|
00:55:32
|
Bemerkungen |
|
00:57:40
|
Matrixmethode |
|
00:59:32
|
Transitionsmatrix |