While offering significant expressive power, graph transformation systems often come with rather limited capabilities for automated analysis, particularly if sy

The analysis of behavioral models such as Graph Transformation Systems (GTSs) is of central importance in model-driven engineering. However, GTSs often result i

This book constitutes the refereed proceedings of the 13th International Conference on Graph Transformation, ICGT 2020, in Bergen, Norway, in June 2020.* The 16

The dynamics of ecosystems is of crucial importance. Various model-based approaches exist to understand and analyze their internal effects. In this paper, we mo

The correctness of model transformations is a crucial element for model-driven engineering of high quality software. In particular, behavior preservation is the