Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

On the Dynamics of PB Systems with Volatile Membranes

Giorgio DelzannoContact Information and Laurent Van BeginContact Information

(1)  Università di Genova, Italy
(2)  Université Libre de Bruxelles, Belgium
Abstract
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.

Contact Information Giorgio Delzanno
Email: giorgio@disi.unige.it

Contact Information Laurent Van Begin
Email: lvbegin@ulb.ac.be
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Remote Address: 38.107.191.81 • Server: mpweb01
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)