Graph Ed
Program-Transformation.Org: The Program Transformation Wiki
GraphEd is an Interactive, Extensible Editor For Graphs and Graph Grammars with lots of Layout and other Algorithms.
Homepage: http://www.infosun.fmi.uni-passau.de/GraphEd/
The GraphEd format (GEF) is described in:
- http://www.fmi.uni-passau.de/~himsolt/publications/FileFormat.ps.gz
- http://citeseer.nj.nec.com/140899.html
- http://www.idealibrary.com/links/doi/10.1006/jvlc.1995.1015
- http://citeseer.nj.nec.com/85710.html
- http://citeseer.nj.nec.com/79589.html