以 PBPPO+重写和重贴图表 (Graph Rewriting and Relabeling with PBPO+)

We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called \pbpostrong, exerts more control over the embedding of the pattern in the host graph, which is important for a large class of graph rewrite systems. In addition, we show that \pbpostrong is well-suited for rewriting labeled graphs and certain classes of attributed graphs. For this purpose, we employ a lattice structure on the label set and use order-preserving graph morphisms. We argue that our approach is simpler and more general than related relabeling approaches in the literature.

翻译：我们扩展了强大的拉回- Pushout (PBPO) 图形重写方法。我们的方法被称为\ ppostrong, 更能控制主机图的嵌入模式, 这对一大批图形重写系统很重要。此外, 我们显示\ pbpostrong 完全适合重写标签图表和某些分类图表。为此, 我们在标签组上使用一个套装结构, 并使用保存顺序的图形形态。我们认为, 我们的方法比文献中的相关重标签方法更简单, 更一般。