• Citer

On the dynamics of PB systems with volatile membranes

par Delzanno, Giorgio ;Van Begin, Laurent
Référence Lecture notes in computer science, 4860 LNCS, page (240-256)
Publication Publié, 2007

Article révisé par les pairs

• Détails
• Contenu

Résumé :

We investigate decision problems like reachability and boundedness for extensions of PB systems with volatile membranes. Specifically, we prove that reachability and boundedness are decidable for PB systems extended with rules for membrane dissolution. For PB systems extended with membrane creation, reachability is still decidable whereas boundedness becomes undecidable. Furthermore, we show that both problems are undecidable for PB systems extended with both dissolution and creation rules. Finally, we prove that reachability and boundedness become decidable for PB systems with dissolution rules and in which only one instance of each type of membrane can be created during a computation. Our work extends the results in [4] obtained by Dal Zilio and Formenti for PB systems with static membrane structure. © Springer-Verlag Berlin Heidelberg 2007.