In: Lecture Notes in Computer Science, Vol. 532; Graph Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, pages 61-65. Berlin; Heidelberg: Springer-Verlag, 1991.
Abstract: GraphEd is a powerful interactive editor for drawing and manipulating graphs and graph grammars. It helps designing graphs, networks, data structures, entity relationship diagrams, Petri nets, electrical circuits, VLSI circuits, flowcharts or even arbitrary diagrams. Its unique feature is the ability to handle graph grammars. They are useful both for theoretical investigations and as parametrisized graph macros
Back to the Petri Nets Bibliography