de Lara, J. and Velasco, P. (2007) “Petri Nets and Matrix Graph Grammars: Reachability”, Electronic Communications of the EASST, 2. doi: 10.14279/tuj.eceasst.2.60.