単純な状態遷移機械を拡張したモデル

• 階層的状態遷移機械
• StateChart
  • 並列性を記述できる
  • 複数の状態のモジュール化
• ペトリネット
  • 並列性を記述できる
  • 高機能すぎる?