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