(1)
de Lara, J.; Velasco, P. Petri Nets and Matrix Graph Grammars: Reachability. ECEASST 2007, 2.