TU Berlin, FB Informatik, Bericht Nr. 88-02, September 1987.
Abstract: Es wird ein Konstruktionsbeweis angegeben, um Graph-Grammatiken in Petri-Netze zu transformieren. Die Netze sind Colored Netze, modifiziert zu Mengen-Netzen. Es wird gezeigt, daÑ diese Transformation korrekt ist.