de Lara, J.; Velasco, P. Petri Nets and Matrix Graph Grammars: Reachability. eceasst 2007, 2.