Tesis doctoralsDepartament de Filologies Romàniques

Petri net controlled grammars

  • Identification data

    Identifier:  TDX:577
    Authors:  Turaev, Sherzod
    Abstract:
    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.
  • Others:

    Publisher: Universitat Rovira i Virgili
    Date: 2010-02-18
    Identifier: urn:isbn:9788469315361, http://hdl.handle.net/10803/8799
    Departament/Institute: Departament de Filologies Romàniques, Universitat Rovira i Virgili.
    Language: eng
    Author: Turaev, Sherzod
    Director: Bel Enguix, Gemma, Dassow, Jürgen
    Source: TDX (Tesis Doctorals en Xarxa)
    Format: application/pdf
  • Keywords:

    petri nets
    51 - Matemàtiques
    004 - Informàtica
  • Documents:

  • Cerca a google

    Search to google scholar