We refine the weighted type graph technique 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.

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