Martin Korff Leila Ribeiro Formal Relationship between Graph Grammars and Petri Nets. 288-303 1994 conf/tagt/1994 TAGT db/conf/tagt/tagt1994.html#KorffR94