$\mathcal M, \mathcal N$ -Adhesive Transformation Systems [chapter]

Annegret Habel, Detlef Plump
2012 Lecture Notes in Computer Science  
The categorical framework of M-adhesive transformation systems does not cover graph transformation with relabelling. Rules that relabel nodes are natural for computing with graphs, however, and are commonly used in graph transformation languages. In this paper, we generalise M-adhesive transformation systems to M, N -adhesive transformation systems, where N is a class of morphisms containing the vertical morphisms in double-pushouts. We show that the category of partially labelled graphs is M,
more » ... -adhesive, where M and N are the classes of injective and injective, undefinedness-preserving graph morphisms, respectively. We obtain the Local Church-Rosser Theorem and the Parallelism Theorem for graph transformation with relabelling and application conditions as instances of results which we prove at the abstract level of M, N -adhesive systems.
doi:10.1007/978-3-642-33654-6_15 fatcat:s2ubn2oqojenjl5ar57lb3ekdy