Series A: Research Reports, No. 3. Espoo, Finland: Helsinki Unversity of Technology, Digital Systems Laboratory, October 1987.
Abstract: Formal methods to represent graph grammars using PrT-nets are studied. A transformation procedure from a graph production to a PrT-subnet is given. Moreover, a method to generate a PrT-net that accurately simulates a sequential graph grammar is described.
Keywords: predicate/transition net representation (of) graph grammar(s); simulation (of) sequential graph grammar(s).