A PBPO+ Graph Rewriting Tutorial

01/30/2023
by   Roy Overbeek, et al.
0

We provide a tutorial introduction to the algebraic graph rewriting formalism PBPO+. We show how PBPO+ can be obtained by composing a few simple building blocks, and model the reduction rules for binary decision diagrams as an example. Along the way, we comment on how alternative design decisions lead to related formalisms in the literature, such as DPO. We close with a detailed comparison with Bauderon's double pullback approach.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset