In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 332-351. 1990.
Abstract: A Predicate/Transition net can be translated into a structure grammar, a generalization of graph grammar. Properties of nets can be expressed in terms of applicability of productions and checked. This can be applied to obtain a simplified net or to compose nets into a net preserving behaviours.
Keywords: structure grammar; predicate/transition net transformation; graph grammar generalization; net composition.