Beispiel:
Eine Transition
eines S/T-Systems
heißt
- aktivierbar, wenn sie mindestens unter einer Folgemarkierung aktiviert ist:
.
- lebendig, wenn sie unter allen Folgemarkierungen aktivierbar ist:
.
Ein S/T-System
heißt
- deadlockfrei bzw. schwach lebendig, wenn es unter keiner Folgemarkierung tot ist:
.
- (stark) lebendig, wenn alle seine Transitionen lebendig sind:
.
- tot, wenn alle seine Transitionen tot sind:
.