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

Kommentare

Nur angemeldete Nutzer dürfen kommentieren. Hier geht's zur kostenlosen Registrierung.