par Van Begin, Laurent 
;Delzanno, Giorgio
Référence Natural computing, 9, 4, page (795-818)
Publication Publié, 2010-12
;Delzanno, Giorgio Référence Natural computing, 9, 4, page (795-818)
Publication Publié, 2010-12
Article révisé par les pairs
| Résumé : | 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. © 2010 Springer Science+Business Media B.V. |
