Überdeckbarkeitsgraph

Definition 
Lebendigkeit 
Erreichbarkeit 
Beschränktheit 
Verklemmungsfreiheit 
Reversibilität 
Home-State