GasTeX is a set of LaTeX macros which allow to draw very easily
graphs, automata, nets, diagrams, etc... under the picture environment
of LaTeX. A picture with gastex basically consists of nodes and
edges. Here are a few examples of pictures that are easily defined
with gastex.

WWW: http://www.lsv.ens-cachan.fr/~gastin/gastex/