Petrinetze

Typ von Petrinetzen
Konflikt (Transitionen)
Transition (aktivierbar)
Zentrale Idee
Bestandteile - Petrinetz
Transition (lebendig)
schwach lebendig, aber nicht stark lebendig (BSP)
stark lebendiges Petrinetz (BSP)
unbeschränktes Petrinetz (BSP)
schwach lebendig
stark lebendig
Erreichbarkeitsgraph / Überdeckungsgraph

Kommentare

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