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