Я хочу знать инструменты, которые могут визуализировать переходы состояний в Конечном автомате , определенном в XML. Было бы полезно, если бы он мог генерировать анимацию для переходов
Для визуализации попробуйте инструменты ATT Graphviz Вам, вероятно, придется преобразовать XML в конкретный язык Graphviz.