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+中。