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