Static Analysis of Usefulness States in Transition P systems

Frutos Velasco, Juan Alberto de and Fernández Muñoz, Luis and Arroyo Montoro, Fernando and Bravo García, Ginés (2008). Static Analysis of Usefulness States in Transition P systems. "International Journal Information Technologies and Knowledge", v. 2 (n. 1); pp. 49-55. ISSN 1313-048X.

Description

Title: Static Analysis of Usefulness States in Transition P systems
Author/s:
  • Frutos Velasco, Juan Alberto de
  • Fernández Muñoz, Luis
  • Arroyo Montoro, Fernando
  • Bravo García, Ginés
Item Type: Article
Título de Revista/Publicación: International Journal Information Technologies and Knowledge
Date: January 2008
ISSN: 1313-048X
Volume: 2
Subjects:
Freetext Keywords: Evolution Rules, Usefulness States, Transition P System, Sequential Machines, Static Analysis.
Faculty: E.U. de Informática (UPM)
Department: Lenguajes, Proyectos y Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (170kB) | Preview

Abstract

Transition P Systems are a parallel and distributed computational model based on the notion of the cellular membrane structure. Each membrane determines a region that encloses a multiset of objects and evolution rules. Transition P Systems evolve through transitions between two consecutive configurations that are determined by the membrane structure and multisets present inside membranes. Moreover, transitions between two consecutive configurations are provided by an exhaustive non-deterministic and parallel application of evolution rules. But, to establish the rules to be applied, it is required the previous calculation of useful, applicable and active rules. Hence, computation of useful evolution rules is critical for the whole evolution process efficiency, because it is performed in parallel inside each membrane in every evolution step. This work defines usefulness states through an exhaustive analysis of the P system for every membrane and for every possible configuration of the membrane structure during the computation. Moreover, this analysis can be done in a static way; therefore membranes only have to check their usefulness states to obtain their set of useful rules during execution.

More information

Item ID: 2226
DC Identifier: http://oa.upm.es/2226/
OAI Identifier: oai:oa.upm.es:2226
Official URL: http://www.foibg.com/ijitk/ijitk-vol02/ijitk-fv02.htm
Deposited by: Memoria Investigacion
Deposited on: 09 Feb 2010 10:46
Last Modified: 20 Apr 2016 11:58
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM