Title of paper: Petri Net Control for Grammar Systems

Abstract

It is demonstrated how Petri nets may be used to control the derivations in systems of cooperating grammars. This allows to define grammar systems with a concurrent rewriting protocol. Some basic properties are established.