Published: 21st December 2021|
|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|
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.
Berthold Hoffmann and Mark Minas
Program Committee Co-Chairs
Bremen and Munich, November 2021