Parallel Graph Rewriting with Overlapping Rules

19 pages•Published: May 4, 2017

Abstract

We tackle the problem of simultaneous transformations of networks represented as graphs. Roughly speaking, one may distinguish two kinds of simultaneous or parallel rewrite relations over complex structures such as graphs: (i) those which transform disjoint subgraphs in parallel and hence can be simulated by successive mere sequential and local transformations and (ii) those which transform overlapping subgraphs simultaneously. In the latter situations, parallel transformations cannot be simulated in general by means of successive local rewrite steps. We investigate this last problem in the framework of overlapping graph transformation systems. As parallel transformation of a graph does not produce a graph in general, we propose first some sufficient conditions that ensure the closure of graphs by parallel rewrite relations. Then we mainly introduce and discuss two parallel rewrite relations over graphs. One relation is functional and thus deterministic, the other one is not functional for which we propose sufficient conditions which ensure its confluence.

Keyphrases: confluent rewrite relations, graph rewriting, overlapping rewrite systems, parallel rewriting

In: Thomas Eiter and David Sands (editors). LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol 46, pages 300-318.

Links:	https://easychair.org/publications/paper/DG5
	https://doi.org/10.29007/576h

BibTeX entry

@inproceedings{LPAR-21:Parallel_Graph_Rewriting_with,
  author    = {Rachid Echahed and Aude Maignan},
  title     = {Parallel Graph Rewriting with Overlapping Rules},
  booktitle = {LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning},
  editor    = {Thomas Eiter and David Sands},
  series    = {EPiC Series in Computing},
  volume    = {46},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/DG5},
  doi       = {10.29007/576h},
  pages     = {300-318},
  year      = {2017}}

Download PDF Open PDF in browser