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