J. de Lara and P. Velasco, “Petri Nets and Matrix Graph Grammars: Reachability”, eceasst, vol. 2, May 2007.