StateChartの実装
図を状態遷移表に変換コンパイラが存在
特殊ツールが必要