Skip to main content
SpringerLink
Log in

A Biologically Inspired Model with Fusion and Clonation of Membranes

  • Conference paper
Unconventional Computing (UC 2008)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5204))

Included in the following conference series:

Abstract

P-systems represent an important class of biologically inspired computational models. In this paper, we study computational properties of a variation of P-systems with rules that model in an abstract way fusion and clonation of membranes. We focus our attention on extended P-systems with an interleaving semantics and symbol objects and we investigate decision problems like reachability of a configuration, boundedness (finiteness of the state space), and coverability (verification of safety properties). In particular we use the theory of well-structured transition systems to prove that both the coverability and the boundedness problems are decidable for PB systems with fusion and clonation. Our results represent a preliminary step towards the development of automated verification procedures for concurrent systems with biologically inspired operations like fusion and clonation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 74.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 99.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abdulla, P.A., Čerāns, K., Jonsson, B., Yih-Kuen, T.: General decidability theorems for infinite-state systems. In: LICS 1996, pp. 313–321 (1996)

    Google Scholar 

  2. Alhazov, A., Freund, R., Riscos-Núñez, A.: Membrane division, restricted membrane creation and object complexity in P systems. Computer Mathematics 83(7), 529–547 (2006)

    MATH  MathSciNet  Google Scholar 

  3. Bernardini, F., Manca, V.: P systems with boundary rules. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 107–118. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  4. Besozzi, D., Zandron, C., Mauri, G., Sabadini, N.: P systems with gemmation of mobile membranes. In: Restivo, A., Ronchi Della Rocca, S., Roversi, L. (eds.) ICTCS 2001. LNCS, vol. 2202, pp. 136–153. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  5. Bezem, M., Klop, J.W., de Vrijer, R.: Term rewriting systems. Cambridge University Press, Cambridge (2003)

    MATH  Google Scholar 

  6. Dal Zilio, S., Formenti, E.: On the dynamics of PB systems: A Petri net view. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 153–167. Springer, Heidelberg (2004)

    Google Scholar 

  7. 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. LNCS, vol. 4860, pp. 240–256. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  8. Dickson, L.E.: Finiteness of the odd perfect and primitive abundant numbers with distinct factors. Amer. J. Math. 35, 413–422 (1913)

    Article  MathSciNet  Google Scholar 

  9. Finkel, A., Schnoebelen, Ph.: Well-structured transition systems everywhere! TCS 256(1-2), 63–92 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  10. Franco, G., Manca, V.: A membrane system for the leukocyte selective recruitment. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 181–190. Springer, Heidelberg (2004)

    Google Scholar 

  11. Geeraerts, G., Raskin, J.-F., Van Begin, L.: Well-structured languages. Acta Informatica 44(3-4), 249–288 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  12. Ibarra, O.H., Dang, Z., Egecioglu, Ö.: Catalytic P systems, semilinear sets, and vector addition systems. TCS 312(2-3), 379–399 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  13. Kruskal, J.B.: Well-quasi Ordering, The Tree Theorem, and Vazsonyi’s conjecture. Trans. American Math. Soc. 95, 210–225 (1960)

    Article  MATH  MathSciNet  Google Scholar 

  14. Li, C., Dang, Z., Ibarra, O.H., Yen, H.-C.: Signaling P systems and verification problems. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1462–1473. Springer, Heidelberg (2005)

    Google Scholar 

  15. Pãun, Gh.: Computing with membranes. J. of Computer and System Science 61(1), 108–143 (2000)

    Article  MATH  Google Scholar 

  16. Pãun, Gh.: P systems with active membranes: attacking NP-complete problems. J. of Automata, Languages, Combinatorics 6(1), 75–90 (2001)

    MATH  Google Scholar 

  17. Pãun, Gh., Suzuki, Y., Tanaka, H., Yokomori, T.: On the power of membrane division in P systems. TCS 324(1), 61–85 (2004)

    Article  MATH  Google Scholar 

  18. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: an abstraction for biological compartments. TCS 325(1), 141–167 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  19. Schnoebelen, Ph.: Verifying lossy channel systems has nonprimitive recursive complexity. IPL 83(5), 251–261 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  20. Reisig, W.: Petri Nets - An Introduction. Springer, Heidelberg (1985)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Università di Genova, Italy

    Giorgio Delzanno

  2. Université Libre de Bruxelles, Belgium

    Laurent Van Begin

Authors
  1. Giorgio Delzanno
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laurent Van Begin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Cristian S. Calude José Félix Costa Rudolf Freund Marion Oswald Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Delzanno, G., Van Begin, L. (2008). A Biologically Inspired Model with Fusion and Clonation of Membranes. In: Calude, C.S., Costa, J.F., Freund, R., Oswald, M., Rozenberg, G. (eds) Unconventional Computing. UC 2008. Lecture Notes in Computer Science, vol 5204. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-85194-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-85194-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-85193-6

  • Online ISBN: 978-3-540-85194-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation