Abstract
We investigate the problem of reaching a configuration from another configuration in mobile membranes, and prove that the reachability can be decided by reducing it to the reachability problem of a version of pure and public ambient calculus without the capability open.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boneva, I., Talbot, J.-M.: When Ambients Cannot be Opened. In: Gordon, A.D. (ed.) ETAPS 2003 and FOSSACS 2003. LNCS, vol. 2620, pp. 169–184. Springer, Heidelberg (2003)
Busi, N., Zavattaro, G.: Deciding Reachability in Mobile Ambients. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 248–262. Springer, Heidelberg (2005)
Cardelli, L., Gordon, A.: Mobile Ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)
Ciobanu, G.: Distributed Algorithms over Communicating Membrane Systems. BioSystems 70, 123–133 (2003)
Delzanno, G., Van Begin, L.: On the Dynamics of PB Systems with Volatile Membranes. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007, vol. 4860, pp. 240–256. Springer, Heidelberg (2007)
Krishna, S.N., Păun, G.: P Systems with Mobile Membranes. Natural Computing 4(3), 255–274 (2005)
Mayr, E.W.: An Algorithm for the General Petri Net Reachability Problem. SIAM Journal of Computing 13(3), 441–460 (1984)
Milner, R.: Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, Cambridge (1999)
Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Aman, B., Ciobanu, G. (2007). On the Reachability Problem in P Systems with Mobile Membranes. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2007. Lecture Notes in Computer Science, vol 4860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77312-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-77312-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77311-5
Online ISBN: 978-3-540-77312-2
eBook Packages: Computer ScienceComputer Science (R0)