コンテンツページを表示する。 | ナビゲーションへ移動
ここでは,直感的な妥当性確認を目的とした並行システムの表現手法について説明しています.
LTSA で出力される LTS 図は,以下の理由により理解しにくいといえます.
状態数が増えるほど,上記の理由により理解しにくい LTS 図になります.そこで,並行システムのモデルを理解しやすくする表現方法を考えたところ,以下の4通りのパターンに分けられます.