Jörg Endrullis ; Roy Overbeek - Termination of Graph Transformation Systems via Generalized Weighted Type Graphs

lmcs:14984 - Logical Methods in Computer Science, February 27, 2026, Volume 22, Issue 1 - https://doi.org/10.46298/lmcs-22(1:15)2026
Termination of Graph Transformation Systems via Generalized Weighted Type GraphsArticle

Authors: Jörg Endrullis ; Roy Overbeek

    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.


    Volume: Volume 22, Issue 1
    Published on: February 27, 2026
    Accepted on: September 16, 2025
    Submitted on: December 23, 2024
    Keywords: Logic in Computer Science