Graph transformation : 11th international conference, ICGT 2018, held as a part of STAF 2018, Toulouse, France, June 25-26, 2018 : proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Graph Transformation, ICGT 2018, held as part of STAF 2018, in Toulouse, France, in June 2018. The 9 full papers, 2 short papers and 1 keynote presented in this book were carefully reviewed and selected from 16 submissions. The papers deal with the following topics: graph languages; graph transformation formalisms; parallel independence and conflicts; and graph conditions and verification.​ Front Matter ....Pages I-XVI Front Matter ....Pages 1-1 Splicing/Fusion Grammars and Their Relation to Hypergraph Grammars (Hans-Jörg Kreowski, Sabine Kuske, Aaron Lye)....Pages 3-19 Synchronous Hyperedge Replacement Graph Grammars (Corey Pennycuff, Satyaki Sikdar, Catalina Vajiac, David Chiang, Tim Weninger)....Pages 20-36 CoReS: A Tool for Computing Core Graphs via SAT/SMT Solvers (Barbara König, Maxime Nederkorn, Dennis Nolte)....Pages 37-42 Front Matter ....Pages 43-43 Graph Surfing by Reaction Systems (Hans-Jörg Kreowski, Grzegorz Rozenberg)....Pages 45-62 Probabilistic Graph Programs for Randomised and Evolutionary Algorithms (Timothy Atkinson, Detlef Plump, Susan Stepney)....Pages 63-78 Graph-Rewriting Petri Nets (Géza Kulcsár, Malte Lochau, Andy Schürr)....Pages 79-96 Front Matter ....Pages 97-97 On the Essence and Initiality of Conflicts (Guilherme Grochau Azzi, Andrea Corradini, Leila Ribeiro)....Pages 99-117 Characterisation of Parallel Independence in AGREE-Rewriting (Michael Löwe)....Pages 118-133 Equivalence and Independence in Controlled Graph-Rewriting Processes (Géza Kulcsár, Andrea Corradini, Malte Lochau)....Pages 134-151 Front Matter ....Pages 153-153 Verifying Graph Transformation Systems with Description Logics (Jon Haël Brenas, Rachid Echahed, Martin Strecker)....Pages 155-170 OCL2AC: Automatic Translation of OCL Constraints to Graph Constraints and Application Conditions for Transformation Rules (Nebras Nassar, Jens Kosiol, Thorsten Arendt, Gabriele Taentzer)....Pages 171-177 Back Matter ....Pages 179-179