Вчера закинул на SourceForge.net третью тулзу для работы с конечными автоматами. Это трассировщик. Если кому интересно, берите с CVS. На главной странице скриншот висит.
http://fsme.sf.net - рассказ про то, что такое FSME
http://sf.net/projects/fsme - страничка проекта
Как брать:
cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/fsme login
cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/fsme co fsme
cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/fsme co fsmc
cvs -d:pserver:anonymous@cvs.sourceforge.net:/cvsroot/fsme co fsmd