Parallel composition and unfolding semantics of graph grammars