PLEXIL
SkipCondition T :スキップ条件が未知またはfalseからtrueに変化する遷移。
StartCondition T 開始条件が未知またはfalseからtrueに変化する遷移。
InvariantCondition F/U :不変条件がtrueから未知またはfalseに変化する遷移。
EndCondition T :終了条件がtrueに変化する遷移
Ancestor_inv_condition F/U:上位の不変条件がtrueから未知またはfalseに変化する遷移。
Ancestor_end_condition T 終了条件がtureに変化する遷移。
All_children_waiting_or_finished T :すべての子ノードが待機状態または終了状態にあり、他の状態にない場合にtrueに変化する状態遷移。
Command_abort_complete T :コマンドアクションの中断が完了する状態遷移。
Function_abort_complete T :関数呼出の中断が完了する状態遷移。
Parent_waiting T :(単一の)親ノードが待機状態に遷移する状態遷移。
Parent_executing T :(単一の)親ノードが実行中状態に遷移する状態遷移。
RepeatCondition T/F 繰り返し条件が未知からtrueまたはfalseに変更する状態遷移。