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变体。