In: Monien, B.; Cori, R.: Lecture Notes in Computer Science, Vol. 349; STACS 89, 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, Germany, Feb. 16-18, 1989, pages 532-533. Springer-Verlag, 1989.
Abstract: GraphEd is a powerful interactive editor for drawing and manipulating graphs and graph grammars. It helps designing graphs, entity-relationship diagrams, petri nets, flow charts or even arbitrary diagrams like the ``design'' system. It translates an internal representation of graphs by adjacency lists into a visual form. GraphEd supports drawing directed or undirected graphs, multiple edges and arbitrary labels.
Back to the Petri Nets Bibliography