Title: Theory and Application of Graph Transformations