GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation