Graph rewriting and relabeling with PBPO\textsuperscript{+}
From MaRDI portal
Publication:2117259
Abstract: 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.
Recommendations
Cites work
- scientific article; zbMATH DE number 4049096 (Why is no real title available?)
- scientific article; zbMATH DE number 2016072 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- AGREE -- algebraic graph rewriting with controlled embedding
- Algebraic approach to single-pushout graph transformation
- Amalgamating pushout and pullback graph transformation in collagories
- Category Theory
- Collagories: relation-algebraic reasoning for gluing constructions
- Double-pushout graph transformation revisited
- Drags: a compositional algebraic framework for graph rewriting
- Formal Methods in Software and Systems Modeling
- Formal Methods in Software and Systems Modeling
- Foundations of Software Science and Computation Structures
- Fundamentals of algebraic graph transformation
- On the axioms for adhesive and quasiadhesive categories
- Patch graph rewriting
- Rewriting abstract structures: materialization explained categorically
- Sesqui-Pushout Rewriting
- The PBPO graph transformation approach
- \(\mathcal M, \mathcal N\)-adhesive transformation systems
Cited in
(6)- The PBPO graph transformation approach
- From linear term rewriting to graph rewriting with preservation of termination
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes
- Finding the right way to Rome: effect-oriented graph transformation
- scientific article; zbMATH DE number 7809761 (Why is no real title available?)
- Fundamentals of compositional rewriting theory
This page was built for publication: Graph rewriting and relabeling with PBPO\textsuperscript{+}
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2117259)