> For a project, I have to use special sort of finite states automata
> called Symbolic Transition Systems.
>
> I don't find a library on the net for the moment.
These URLs might be of some help:
http://www.manageability.org/blog/stuff/open-source-statemachine-for-user-interf
aces-written-in-java/view
http://www.manageability.org/blog/stuff/workflow_in_java/view

Signature
Davor Cengija, dcengija_IQ_Filter_@inet.hr