拡張状態遷移機械単純な状態遷移機械を拡張したモデル
Extended state machine
階層的状態遷移機械
Hierarchical state machine
StateChart
並列性を記述できる
Parallel execution supported
複数の状態のモジュール化
Multiple states can be represented as one state
