Petri net control for grammar systems

  • Authors:
  • Maurice ter Beek;Jetty Kleijn

  • Affiliations:
  • LIACS, Leiden University, P.O.Box 9512, 2300 RA Leiden, The Netherlands;LIACS, Leiden University, P.O.Box 9512, 2300 RA Leiden, The Netherlands

  • Venue:
  • Formal and natural computing
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

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.