Graph Transformation Systems: Formal models used to describe the dynamic evolution of systems through the application of graph rewriting rules.