Return to Article Details View-based Modelling and State-Space Generation for Graph Transformation Systems Download Download PDF