←
↑
拡張状態遷移機械
→
単純な状態遷移機械を拡張したモデル
階層的状態遷移機械
StateChart[
3
]
並列性を記述できる
複数の状態のモジュール化
ペトリネット
並列性を記述できる
高機能すぎる?
