Double-Pushout Approach with Injective Matching

Abstract. We investigate and compare four variants of the doublepushout approach to graph transformation. Besides the traditional approach with arbitrary matching and injective right-hand morphisms, we consider three variations by employing injective matching and/or arbitrary right-hand morphisms in rules. For each of the three variations, we clarify whether the well-known commutativity theorems are still valid and

• Type: Conference
• Year: 1998
• Where: TAGT
• Authors: Annegret Habel, Jürgen Müller, Detlef Plump
• Keywords: Graph Theory, Graph Transformation, Injective Matching, Right-hand Morphisms, TAGT 1998