Zielzustands-Graph modellieren — Knoten verschieben, Kanten vom unteren Anker ziehen, Klick öffnet Infos. Verify und Kriterien auf der Gate-Detailseite.
Vom unteren Punkt eines Gates zur Zielkante ziehen. Doppelklick auf leere Fläche legt ein Gate an. Klick auf Gate öffnet das Info-Panel.
)}