Strukturanalyse I

Ziel 
Algebra 
Stellen-Invariante 
Berechnung von Stellen-Invarianten 
Eigenschaften von Stellen-Invarianten 
Transitions-Invariante 
Berechnung von Transitions-Invarianten 
Eigenschaften von Transitions-Invarianten 
Lebendigkeit 
Erreichbarkeit 
Beschränktheit 
Verklemmungsfreiheit 
Reversibilität 
Home-States 
L und B