Eigenschaften und Erreichbarkeitsgraph

SZK 
TSZK 
Beschränktheit 
Verklemmungsfreiheit 
Reversibel 
Home States 
Lebendigkeit von Transitionen