Petri net controlled grammars

Turaev, Sherzod

Pertany a la col·lecció TDX:SerieTesis

TÍTOL:

Petri net controlled grammars - TDX:577

Handle:

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

Data:	2010-02-18
Departament/Institut:	Departament de Filologies Romàniques Universitat Rovira i Virgili.
Director:	Bel Enguix, Gemma Dassow, Jürgen
Autor:	Turaev, Sherzod
Títol:	Petri net controlled grammars

Cerca el teu registre a:

Fitxers disponibles
Fitxer	Descripció	Format
Memoria	Memòria	application/pdf

Tots els objectes d'aquesta col·lecció

Descripció:	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.
Tipus:	info:eu-repo/semantics/publishedVersion info:eu-repo/semantics/doctoralThesis
Coautor:	Departament de Filologies Romàniques Universitat Rovira i Virgili.
Títol:	Petri net controlled grammars
Idioma:	eng
Matèria:	51 - Matemàtiques 004 - Informàtica
Format:	application/pdf
Autor:	Turaev, Sherzod
Drets:	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.
Data:	2010-02-18
Editor:	Universitat Rovira i Virgili
Matèria:	51 - Matemàtiques 004 - Informàtica
Idioma:	eng
Editor:	Universitat Rovira i Virgili
Font:	TDX (Tesis Doctorals en Xarxa)
Identificador:	urn:isbn:9788469315361 http://hdl.handle.net/10803/8799
Format:	application/pdf
Paraula Clau:	petri nets

Informació