Concurrency for graph grammars (in a Petri net shell)