Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools