Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution