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/gastex.html