[M.A.D.M.A.N.]

Есть ли какое-нибудь ПО позволяющее описать конечные автоматы и сгенерировать код?

В гугле какую-то шляпу для фрэймворка только нашел.

[Bargest]

Где-то слышал такое...
Вика говорит так.
А еще слышал, что они генерируют ТАКОЕ, что лучше бы это не видеть.

[lmikle]

Ну, можно поглядеть на .Net WorkFlow engine. Вроде, по факту, оно на этом принципе построено.

[M.A.D.M.A.N.]

Спасибо.
_____

[AlexSku]

Т.к. был упомянут Flow, то скажу, что в MatLab'е (Simulink) есть пакет Stateflow. Также в MatLab'е (и в Sumulink'е) есть генераторы С-кода (с, cpp).