Adhesive high-level replacement (HLR) systems are introduced as a new categorical framework for graph transformation in the double pushout (DPO) approach, which combines the well-known concept of HLR systems with the new concept of adhesive categories introduced by Lack and Soboci
Hartmut Ehrig, Julia Padberg, Ulrike Prange, Anneg