文書操作
使い方
簡単な実行方法についてのチュートリアルです．ここを読むことで，簡単な使い方はわかります．
実際に実行
まず，LTSA のエディタ画面に以下の FSP を記述しましょう．これは ON と OFF を繰り返すスイッチです．
SWITCH = OFF,
OFF = (on -> ON),
ON = (off-> OFF).
下の図のようになります．
次にコンパイルボタン
を押してコンパイルしましょう．Draw タブを選択し，"SWITCH"を選択すると，生成された LTS を見ることができます．
LTSA アニメータ
LTSA のアニメータ機能を使用することによって，プロセスの振る舞いをシミュレーションすることができます．右上のアニメーションボタン
を押すことで，アニメータを使用できます．
- 印のついた動作が選べる
- LTS では最近の動作が赤で示される