Pattern matching plays a central role in graph transformations as a key technology for computing local contexts in which transformation rules are to be applied.