论文标题
使用PBPO+重写和重新标记
Graph Rewriting and Relabeling with PBPO+
论文作者
论文摘要
我们扩展了功能强大的撤回式PUSHOUT（PBPO）方法，用于以强匹配的形式重写图形。我们称为\ pbpostrong的方法对主机图中模式的嵌入更具控制权，这对于大量的图形重写系统很重要。此外，我们表明\ pbpostrong非常适合重写标记的图形和某些类别的属性图。为此，我们在标签集上采用晶格结构，并使用保留订单的图形形态。我们认为，与文献中相关的重新标记方法相比，我们的方法更简单，更一般。
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.
