Petrinetze

Petrinetze - Idee
Untersuchende Eigenschaften
Definition
Aktivierung von Transitionen
Nachfolgemarkierungen
Konflikte
Transitionen - aktivierbar
Transitionen - lebendig
Petrinetz - schwach lebendig
Petrinetz - stark lebendig
Lebendigkeit von Petrinetzen und Beziehung zu Transitionen
Stochastische Petrinetze
CTMC

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.