Petri net controlled grammars

Turaev, Sherzod

Belongs to TDX:SerieTesis collection

TITLE:

Petri net controlled grammars - TDX:577

Handle:

http://hdl.handle.net/20.500.11797/TDX577

Date:	2010-02-18
Departament/Institute:	Departament de Filologies Romàniques Universitat Rovira i Virgili.
Director:	Bel Enguix, Gemma Dassow, Jürgen
Author:	Turaev, Sherzod
Title:	Petri net controlled grammars

Search your record at:

Available files
File	Description	Format
Memoria	Memory	application/pdf

All objects of this collection

Description:	Los diferentes tipos de gramáticas con reescritura regulada han sido introducidas para complementar las deficiencias de las gramáticas libres del contexto en las aplicaciones, preservando sus propiedades matemáticas. Por otro lado, la rápida evolución la biología, y otras áreas actuales supone un reto para tratar de las tareas varias que necesitan las herramientas adecuadas para la elaboración de modelos e investigación. Proponemos gramáticas controladas por redes de Petri como modelos para representar y analizar los procesos bioquímicos en las células vivas donde redes de Petri son responsables de la estructura, y gramáticas representan los procesos generativos. Además, el control de redes de Petri también tiene interés teórico: amplía las posibilidades de investigar los mecanismos de control concurrente en la teoría de lenguajes formales. La tesis presenta distintas variantes de gramáticas controladas por redes de Petri e investiga sus propiedades matemáticas. 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.
Type:	info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis
Contributor:	Departament de Filologies Romàniques Universitat Rovira i Virgili.
Títol:	Petri net controlled grammars
Language:	eng
Subject:	51 - Matemàtiques 004 - Informàtica
Format:	application/pdf
Creator:	Turaev, Sherzod
Rights:	info:eu-repo/semantics/openAccess ADVERTIMENT. L'accés als continguts d'aquesta tesi doctoral i la seva utilització ha de respectar els drets de la persona autora. Pot ser utilitzada per a consulta o estudi personal, així com en activitats o materials d'investigació i docència en els termes establerts a l'art. 32 del Text Refós de la Llei de Propietat Intel·lectual (RDL 1/1996). Per altres utilitzacions es requereix l'autorització prèvia i expressa de la persona autora. En qualsevol cas, en la utilització dels seus continguts caldrà indicar de forma clara el nom i cognoms de la persona autora i el títol de la tesi doctoral. No s'autoritza la seva reproducció o altres formes d'explotació efectuades amb finalitats de lucre ni la seva comunicació pública des d'un lloc aliè al repositori institucional de la Universitat Rovira i Virgili. Tampoc s'autoritza la presentació del seu contingut en una finestra o marc aliè a aquest repositori (framing). Aquesta reserva de drets afecta tant als continguts de la tesi com als seus resums i índexs.
Date:	2010-02-18
Publisher:	Universitat Rovira i Virgili
Subject:	51 - Matemàtiques 004 - Informàtica
Language:	eng
Publisher:	Universitat Rovira i Virgili
Source:	TDX (Tesis Doctorals en Xarxa)
Identifier:	urn:isbn:9788469315361 http://hdl.handle.net/10803/8799
Format:	application/pdf
Keywords:	petri nets

Information