10 citations · 37 across the 10 of their papers we have counts for
4 papers · 1 filter
Termination of Graph Transformation Systems via Generalized Weighted Type Graphs
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 gener…
Termination of Graph Transformation Systems Using Weighted Subgraph Counting
Roy Overbeek, Jörg Endrullis
We introduce a termination method for the algebraic graph transformation framework PBPO+, in which we weigh objects by summing a class of weighted morphisms targeting them. The met…
Fuzzy Presheaves are Quasitoposes
Aloïs Rosset, Roy Overbeek, Jörg Endrullis
Quasitoposes encompass a wide range of structures, including various categories of graphs. They have proven to be a natural setting for reasoning about the metatheory of algebraic…
A PBPO+ Graph Rewriting Tutorial
Roy Overbeek, Jörg Endrullis
We provide a tutorial introduction to the algebraic graph rewriting formalism PBPO+. We show how PBPO+ can be obtained by composing a few simple building blocks, and model the redu…