Wiederholung
Petrinetze
Carl Adam Petri
Grundprinzipien
Beispiel: Mutual Exclusion (Mutex)
Definition: Petrinetz
Vorbereich, Nachbereich
Markierung, Markenzahl
Tangente zu technisch/wissenschaftlicher Terminologie
Schaltregel, Idee, Definition
Beispiel
Beispiel: diverse Kaffeeautomaten
Anmerkungen
Lauf, Erreichbarkeit
Verklemmung/Deadlock, beschränkt
Beispiel
Systemanalyse: Erreichbarkeit
Erreichbarkeitsbaum
Beispiel
Bemerkungen
Matrixmethode
Transitionsmatrix