Dokumentation
Code
Prozesse
Abgleich
← Übersicht
Doku: Integrität: Ablauf azyklisch (I3)
H1
H2
H3
H4
H5
H6
P
Fett
Liste
Nummeriert
Invariante I3: der Schritt-Ablauf bleibt azyklisch.
Mechanik: Trigger prüft jede Kante
Verbietet: Zyklen und Verweise auf fremde Prozesse.
Speichern
Frühere Versionen
Version
Zeitpunkt
Operation
21
2026-07-16 11:01:53.995443+02
UPDATE