Zustände, Züge und erhaltene Größen

Du modellierst Prozesse sauber, prüfst Invariantenkandidaten und erkennst Unmöglichkeit durch Start-Ziel-Vergleich.