Petri net controlled grammars: The case of special Petri nets

Jürgen Dassow, Sherzod Turaev

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)

Abstract

A Petri net controlled grammar is a context-free grammar equipped with a Petri net, whose transitions are labeled with rules of the grammar or the empty string, and the associated language consists of all terminal strings which can be derived in the grammar and the the sequence of rules in every terminal derivation corresponds to some occurrence sequence of transitions of the Petri net which is enabled at the initial marking and finished at a final marking of the net. We present some results on the generative capacity of such grammars so that the associated Petri nets are restricted to some known special classes of Petri nets.

Original languageEnglish
Pages (from-to)2808-2835
Number of pages28
JournalJournal of Universal Computer Science
Volume15
Issue number14
Publication statusPublished - 2009
Externally publishedYes

Keywords

  • Grammars
  • Grammars with regulated rewriting
  • Petri net controlled grammars
  • Petri nets

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Petri net controlled grammars: The case of special Petri nets'. Together they form a unique fingerprint.

Cite this