We refine a technique by Bruggink et al. that uses weighted type graphs for proving termination of double pushout (DPO) graph transformation systems. We increase the power of the approach for graphs, we generalize the technique to other categories, and we allow for variations of DPO that occur in the literature.

翻译：我们对Bruggink等人提出的使用权型图证明双推（DPO）图变换系统终止性的技术进行了改进。我们增强了该方法在图上的适用能力，将其推广至其他范畴，并允许采纳文献中出现的DPO变体形式。