Operationen

Die Operationen-Ansicht zeigt die Operationen auf einer geladenen Maschine. Wenn man auf eine der angezeigten Operationen klickt, wird diese ausgeführt, falls das möglich ist. Die Icons und farblichen Markierungen neben den einzelnen Operationen zeigen an, ob die Operation möglich ist und welcher Zustand erreicht wird.

• grünes Dreieck: Operation ist ausführbar

• roter Kreis: Operation ist nicht ausführbar

• blauer Kreispfeil: Operation ist ausführbar, ändert den Zustand aber nicht

• dunkelgrüne Markierung: Operation erreicht unerkundeten Zustand (dies kann möglicherweise auch ein Fehlzustand sein)

• orange Markierung: Operation erreicht Fehlzustand

Die Icons am oberen rechten Rand der Ansicht ermöglichen es,

• Operationen in alphabetischer Reihenfolge zu sortieren
• Inaktive/nicht ausführbare Operationen auszublenden
• eindeutige Operationsvariablen ein- und auszublenden
• eine bestimmte Anzahl an zufälligen Operationen auszuführen
• Operationen zu filtern

Mithilfe der (Doppel-)Pfeile auf der linken Seite kann man im Verlauf nach hinten (zum Anfang) oder vorne (zum Ende) gehen und die Maschine neu laden. Via Rechtsklick auf eine Operation, können Details zu dieser angezeigt werden oder ein Prädikat hinzugefügt werden, mit dem die Operation ausgeführt werden soll.