Я ищу хороший универсальный конечный автомат и пока что нашел SCXML. Это действительно просто в использовании (я имею в виду конфигурацию), но исходный код архаичен - нет безопасности типов и все ...