Simulation and animation of visual languages based on typed algebraic graph transformationClaudia ErmelEsauritoAvvisami