Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations

@inproceedings{Ehrig2006WeakAH,
  title={Weak Adhesive High-Level Replacement Categories and Systems: A Unifying Framework for Graph and Petri Net Transformations},
  author={Hartmut Ehrig and Ulrike Golas},
  booktitle={Essays Dedicated to Joseph A. Goguen},
  year={2006}
}
Adhesive high-level replacement (HLR) systems have been recently introduced as a new categorical framework for graph tranformation in the double pushout (DPO) approach. They combine the wellknown concept of HLR systems with the concept of adhesive categories introduced by Lack and Sobociński. While graphs, typed graphs, attributed graphs and several other variants of graphs together with corresponding morphisms are adhesive HLR categories, such that the categorical framework of adhesive HLR… CONTINUE READING