On the verification of membrane systems with dynamic structure
Source: Natural Computing, Volume 9, Number 4, December 2010 , pp. 795-818(24)
Abstract:We study computational properties of Gheorge Păun’s P-systems extended with rules that model in an abstract way creation, dissolution, fusion and cloning of membranes. We investigate decision problems like reachability of a configuration, boundedness (finiteness of the state space), and coverability (verification of safety properties). Our analysis is aimed at understanding the expressive power of rules that dynamically modify the structure of a membrane.
Document Type: Research Article
Publication date: December 1, 2010