About these proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Graph Transformation, ICGT 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.
The 14 papers presented in this were carefully reviewed and selected from 33 submissions. They were organized in topical sections named: foundations, tools and algorithms, queries, and applications.
The book also contains one keynote paper in full paper length. The book is dedicated to Hartmut Ehrig, one of the fathers and most productive members of the Graph Transformation community, who passed away in 2016. An obituary is included in the front matter of the volume.
graph grammar graph transformation system model checking rewrite systems software verification algebraic language theory amalgamation computational models grammar analysis graph constraints graph-based database models hypergraphs local search meta modeling model transformations model-driven software engineering query language reachability reconfigurable Petri nets verification