A framework for the verification of infinite-state graph transformation systems