Petri net controlled grammars

  1. Turaev, Sherzod
unter der Leitung von:
  1. Júrgen Dassow Doktorvater/Doktormutter

Universität der Verteidigung: Universitat Rovira i Virgili

Fecha de defensa: 18 von Februar von 2010

Gericht:
  1. Carlos Martín Vide Präsident/in
  2. Víctor Mitrana Sekretär/in
  3. Henriëtte Kleijn Vocal
  4. Henning Fernau Vocal
  5. David de Frutos Escrig Vocal

Art: Dissertation

Teseo: 293898 DIALNET lock_openTDX editor

Zusammenfassung

Different types of regulated grammars have been introduced in order to supplement shortcomings of context-free grammars in applications preserving their elegant mathematical properties. However, the rapid developments in present day industry, biology, and other areas challenge to deal with various tasks which need suitable tools for their modelling and investigation. We propose Petri net controlled grammars as models for representing and analyzing of metabolic pathways in living cells where Petri nets are responsible for the structure and communication of the pathways, and grammars represent biochemical processes. On the other hand, the control by Petri nets has also theoretical interest: it extends possibilities to introduce and investigate concurrent control mechanisms in formal language theory. The thesis introduces various variants of Petri net controlled grammars using different types of Petri nets and investigates their mathematical properties such as computational power and closure properties.