Published: 21st December 2021
DOI: 10.4204/EPTCS.350
ISSN: 2075-2180

EPTCS 350

Proceedings Twelfth International Workshop on
Graph Computational Models
Online, 22nd June 2021

Edited by: Berthold Hoffmann and Mark Minas

Preface
Berthold Hoffmann and Mark Minas
Grammars Based on a Logic of Hypergraph Languages
Tikhon Pshenitsyn
1
From Linear Term Rewriting to Graph Rewriting with Preservation of Termination
Roy Overbeek and Jörg Endrullis
19
Stochastic Graph Transformation For Social Network Modeling
Nicolas Behr, Bello Shehu Bello, Sebastian Ehmes and Reiko Heckel
35
A Categorical Semantics for Hierarchical Petri Nets
Fabrizio Romano Genovese, Jelle Herold, Fosco Loregian and Daniele Palombi
51
Resilience of Well-structured Graph Transformation Systems
Okan Özkan and Nick Würdemann
69
A Small-Step Operational Semantics for GP 2
Brian Courtehoute and Detlef Plump
89

Preface

This volume contains the proceedings of the Twelfth International Workshop on Graph Computation Models (GCM 2021) as part of STAF 2021. Due to the restrictions related to COVID-19, GCM 2021 was held as an online workshop on June 22, 2021.

Graphs are common mathematical structures that are visual and intuitive. They constitute a natural and seamless way for system modelling in science, engineering and beyond, including computer science, biology, business process modelling, etc. Graph computation models constitute a class of very high-level models where graphs are first-class citizens. The aim of the International GCM Workshop series is to bring together researchers interested in all aspects of computation models based on graphs and graph transformation. It promotes the cross-fertilizing exchange of ideas and experiences among senior and young researchers from the different communities interested in the foundations, applications, and implementations of graph computation models and related areas.

Previous editions of GCM series were held in Natal, Brazil (2006), Leicester, UK (2008), Enschede, The Netherlands (2010), Bremen, Germany (2012), York, UK (2014), L'Aquila, Italy (2015), Wien, Austria (2016), Marburg, Germany (2017), Toulouse, France (2018), Eindhoven, The Netherlands (2019), and online (2020).

These proceedings contain revised versions of six selected papers presented at GCM 2021. All submissions were subject to careful refereeing. The topics of accepted papers range over a wide spectrum, including theoretical aspects of graph transformation and term rewriting as well as application issues of and programming with graph computation models.

We would like to thank all the people who contributed to the success of GCM 2021, especially the Program Committee and the additional reviewers for their valuable contributions to the selection process, as well as the contributing authors without whom this volume would not exist.

GCM 2021 Program Committee

Additional Reviewers

Berthold Hoffmann and Mark Minas
Program Committee Co-Chairs
Bremen and Munich, November 2021