シーケンシャル・ファンクション・チャート
論理的な条件を記述して、ステップ間の状態遷移を制御する。