We introduce a termination method for the algebraic graph transformation framework PBPO+, in which we weigh objects by summing a class of weighted morphisms targeting them. The method is well defined in rm-adhesive quasitoposes (which includes toposes), and is applicable to non-linear rules. The method is also defined for other frameworks, including DPO and SqPO, because we have previously shown that they are naturally encodable into PBPO+ in the quasitopos setting.

翻译：我们为代数图变换框架PBPO+引入了一种终止性判定方法，该方法通过对目标对象的一类加权态射求和来赋予对象权重。该方案在rm-黏合拟拓扑（包含拓扑斯）中具有良好定义，且适用于非线性规则。由于我们已证明在拟拓扑设定下，DPO和SqPO等其他框架可自然编码为PBPO+，因此该方法同样适用于这些框架。