The GrGen.NET User Manual. Refers to GrGen.NET User Manual, www.grgen.net

GrGen.NET is a graph rewrite tool enabling elegant and
convenient development of graph rewriting applications with
comparable performance to conventionally developed ones.
GrGen.NET uses attributed, typed, and directed multigraphs with
multiple inheritance on node and edge types. Extensive graphical
debugging integrated into an interactive shell complements the
feature highlights of GrGen.NET. This user manual contains both,
normative statements in the sense of a reference manual as well
as an informal guide to the features and usage of GrGen.NET.