Verification of infinite-state graph transformation systems via abstraction