Skip to main content
SpringerLink
Log in

Adaptive P Systems

  • Conference paper
  • First Online:
Membrane Computing (CMC 2018)

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

Included in the following conference series:

Abstract

In this paper we introduce a membrane system named adaptive P system which is able to adjust dynamically its behaviour depending on resource availability. Such a system is defined as a tree of membranes in which the objects are organized in multisets, and the rules are applied in a maximal parallel manner. We use guards on the right side of the rules in order to model the biological sensitivity to context, and in this way we are able to describe an adaptive behaviour. The Turing completeness of the adaptive P systems can be obtained only by using non-cooperative rules (with guards) working in the accepting case. Using the adaptive P systems, we provide a polynomially uniform solution for an NP-complete problem (Subset Sum) by using specific membrane computing techniques. The solution employs a linear number of resources and evolution steps.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
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

References

  1. Aman, B., Ciobanu, G.: Describing the immune system using enhanced mobile membranes. Electron. Notes Theor. Comput. Sci. 194(3), 5–18 (2008)

    Article  Google Scholar 

  2. Aman, B., Ciobanu, G.: Turing completeness using three mobile membranes. In: Calude, C.S., Costa, J.F., Dershowitz, N., Freire, E., Rozenberg, G. (eds.) UC 2009. LNCS, vol. 5715, pp. 42–55. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03745-0_12

    Chapter  Google Scholar 

  3. Aman, B., Ciobanu, G.: Mobility in Process Calculi and Natural Computing. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-24867-2

    Book  MATH  Google Scholar 

  4. Aman, B., Ciobanu, G.: Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica 48(7–8), 409–415 (2011). https://doi.org/10.1007/s00236-011-0144-9

    Article  MathSciNet  MATH  Google Scholar 

  5. Aman, B., Ciobanu, G.: Adaptability in membrane computing. Analele Universităţii Bucureşti Informatică LXII(3), 5–15 (2015)

    Google Scholar 

  6. Aman, B., Ciobanu, G.: Efficiently solving the bin packing problem through bio-inspired mobility. Acta Informatica 54(4), 435–445 (2017). https://doi.org/10.1007/s00236-016-0264-3

    Article  MathSciNet  MATH  Google Scholar 

  7. Bottoni, P., Martín-Vide, C., Păun, G., Rozenberg, G.: Membrane systems with promoters/inhibitors. Acta Informatica 38(10), 695–720 (2002)

    Article  MathSciNet  Google Scholar 

  8. Ciobanu, G.: Membrane computing and biologically inspired process calculi. “A.I. Cuza” University Press, Iaşi (2010)

    Google Scholar 

  9. Ciobanu, G.: Semantics of P systems. In: The Oxford Handbook of Membrane Computing, pp. 413–436. Oxford University Press, Oxford (2010)

    Google Scholar 

  10. Ciobanu, G., Todoran, E.N.: Denotational semantics of membrane systems by using complete metric spaces. Theor. Comput. Sci. 701, 85–108 (2017)

    Article  MathSciNet  Google Scholar 

  11. Ciobanu, G., Păun, G., Pérez-Jiménez, M.J.: Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006). https://doi.org/10.1007/3-540-29937-8

    Book  Google Scholar 

  12. Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. Springer, Heidelberg (1989)

    Chapter  Google Scholar 

  13. Dragomir, C., Ipate, F., Konur, S., Lefticaru, R., Mierla, L.: Model checking kernel P systems. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 151–172. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54239-8_12

    Chapter  Google Scholar 

  14. Frisco, P., Gheorghe, M., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing in Systems and Synthetic Biology. ECC, vol. 7. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-03191-0

    Book  Google Scholar 

  15. Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Freeman, New York (1979)

    MATH  Google Scholar 

  16. Gheorghe, M., Ipate, F.: A kernel P systems survey. In: Alhazov, A., Cojocaru, S., Gheorghe, M., Rogozhin, Y., Rozenberg, G., Salomaa, A. (eds.) CMC 2013. LNCS, vol. 8340, pp. 1–9. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54239-8_1

    Chapter  Google Scholar 

  17. Gutiérrez-Naranjo, M.A., Pérez-Jiménez, M.J., Romero-Campero, F.J.: A uniform solution to SAT using membrane creation. Theor. Comput. Sci. 371, 54–61 (2007)

    Article  MathSciNet  Google Scholar 

  18. Hennighausen, L., Furth, P.A.: Prospects for directing temporal and spatial gene expression in transgenic animals. In: Transgenic Animals: Generation and Use, pp. 303–306. Harwood Academic Publishers (1997)

    Google Scholar 

  19. Ionescu, M., Păun, G., Yokomori, T.: Spiking neural P systems. Fundam. Inform. 71, 279–308 (2006)

    Google Scholar 

  20. Ionescu, M., Sburlan, D.: On P systems with promoters/inhibitors. J. Univers. Comput. Sci. 10(5), 581–599 (2004)

    MathSciNet  Google Scholar 

  21. Ipate, F., et al.: Kernel P Systems: Applications and Implementations. In: Yin, Z., Pan, L., Fang, X. (eds.) Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA). Advances in Intelligent Systems and Computing, vol. 212, pp. 1081–1089. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-37502-6_126

    Chapter  Google Scholar 

  22. Kimmel, M., Axelrod, D.: Branching Processes in Biology. Springer, Heidelberg (2015). https://doi.org/10.1007/978-1-4939-1559-0

    Book  MATH  Google Scholar 

  23. Leporati, A., Mauri, G., Zandron, C., Păun, G., Pérez-Jiménez, M.J.: Uniform solutions to SAT and subset sum by spiking neural P systems. Nat. Comput. 8, 681–702 (2009)

    Article  MathSciNet  Google Scholar 

  24. Lewontin, R.C.: The Triple Helix: Gene, Organism, and Environment. Harvard University Press, Cambridge (2000)

    MATH  Google Scholar 

  25. Manca, V.: Infobiotics: Information in Biotic Systems. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36223-1

    Book  MATH  Google Scholar 

  26. Martín-Vide, C., Păun, G., Pazos, J., Rodríguez-Patón, A.: Tissue P systems. Theor. Comput. Sci. 296, 295–326 (2003)

    Article  MathSciNet  Google Scholar 

  27. Păun, G.: Membrane Computing: An Introduction. Springer, Heidelberg (2002). https://doi.org/10.1007/978-3-642-56196-2

    Book  MATH  Google Scholar 

  28. Păun, G., Rozenberg, G., Salomaa, A. (Eds.): The Oxford Handbook of Membrane Computing. Oxford University Press, Oxford (2010)

    Google Scholar 

  29. Peng, H., Wang, J., Shi, P., Pérez-Jiménez, M.J., Riscos-Núñez, A.: Fault diagnosis of power systems using fuzzy tissue-like P systems. Integr. Comput.-Aided Eng. 24(4), 401–411 (2017)

    Article  Google Scholar 

  30. Pérez-Jiménez, M.J., Riscos-Núñez, A.: A linear-time solution to the knapsack problem using P systems with active membranes. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 250–268. Springer, Heidelberg (2004). https://doi.org/10.1007/978-3-540-24619-0_19

    Chapter  Google Scholar 

  31. Pérez-Jiménez, M.J., Riscos-Núñez, A.: Solving the subset-sum problem by P systems with active membranes. New Generat. Comput. 23(4), 339–356 (2005)

    Article  Google Scholar 

  32. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages. Springer, Heidelberg (1997). https://doi.org/10.1007/978-3-642-59126-6

    Book  MATH  Google Scholar 

  33. Song, B., Song, T., Pan, L.: A time-free uniform solution to subset sum problem by tissue P systems with cell division. Math. Struct. Comput. Sci. 27, 17–32 (2017)

    Article  MathSciNet  Google Scholar 

  34. Suri, N., Cabri, G. (eds.): Adaptive, Dynamic, and Resilient Systems. CRC Press, Boca Raton (2014)

    Google Scholar 

  35. Zhang, G., Cheng, J., Wang, T., Wang, X., Zhu, J.: Membrane Computing: Theory and Applications. Science Press, Beijing (2015)

    Google Scholar 

  36. Zhang, G., Pérez-Jiménez, M.J., Gheorghe, M.: Real-life Applications with Membrane Computing. ECC, vol. 25. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-55989-6

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Computer Science, Romanian Academy, Iaşi, Romania

    Bogdan Aman & Gabriel Ciobanu

  2. “A.I.Cuza” University of Iaşi, Iaşi, Romania

    Bogdan Aman & Gabriel Ciobanu

Authors
  1. Bogdan Aman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bogdan Aman .

Editor information

Editors and Affiliations

  1. Friedrich Schiller University Jena, Jena, Germany

    Thomas Hinze

  2. Leiden Centre of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science (TUCS), Turku, Finland

    Arto Salomaa

  4. Informatics, Systems and Communication, University of Milano-Bicocca, Milan, Italy

    Claudio Zandron

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Aman, B., Ciobanu, G. (2019). Adaptive P Systems. In: Hinze, T., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2018. Lecture Notes in Computer Science(), vol 11399. Springer, Cham. https://doi.org/10.1007/978-3-030-12797-8_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-12797-8_5

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-12796-1

  • Online ISBN: 978-3-030-12797-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation