Analyzing Graphs and Graph Grammars

AGG has a formal foundation based on the algebraic approach to graph transformation. Due to its formal foundation, AGG offers the following validation support:

• consistency checking of graphs and graph transformation systems,
• conflict, dependency detection of graph transformation rules using critical pair analysis,
• graph parsing,
• termination criteria for layered graph grammars.