状態遷移表、状態遷移図の整合性チェック

状態遷移図・表の整合性チェックが自動でできます。