A comparison between petri-nets and graph grammars | Publicación