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.

翻译：本文提供关于代数图重写形式化体系PBPO+的入门教程。我们展示如何通过组合若干简单构建模块得到PBPO+，并以二元决策图的归约规则为例进行建模。在此过程中，我们评述了不同设计选择如何衍生出文献中的相关形式化体系（如DPO）。最后，我们通过与Bauderon的双拉回方法进行详细比较作为结语。