Skip to main content
SpringerLink
Log in

Synchronization of rules in membrane computing

  • Regular Paper
  • Published:
Journal of Membrane Computing Aims and scope Submit manuscript

Abstract

We modify the most used evolution strategy in membrane systems (namely that of maximal parallelism) by imposing a synchronization between rules. A synchronization over a set of rules can be applied only if each rule of the set can be applied at least once. For membrane systems working in the accepting mode, this synchronization is powerful enough to provide the computational completeness without any other ingredient (no catalysts, promoters, inhibitors, etc). The modeling power of synchronization is described by simulating the basic arithmetic operations (addition, subtraction, multiplication and division).

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  1. Agrigoroaiei, O., & Ciobanu, G. (2010). Flattening the transition P systems with dissolution. Lecture Notes in Computer Science, 6501, 53–64.

    Article  Google Scholar 

  2. Alhazov, A., Margenstern, M., & Verlan, S. (2009). Fast synchronization in P systems. Lecture Notes in Computer Science, 5391, 118–128.

    Article  Google Scholar 

  3. Aman, B., & Ciobanu, G. (2008). Describing the immune system using enhanced mobile membranes. Electronic Notes in Theoretical Computer Science, 194(3), 5–18.

    Article  Google Scholar 

  4. Aman, B., & Ciobanu, G. (2009). Turing completeness using three mobile membranes. Lecture Notes in Computer Science, 5715, 42–55.

    Article  MathSciNet  Google Scholar 

  5. Aman, B., & Ciobanu, G. (2011). Mobility in Process Calculi and Natural Computing. Berlin: Springer.

    Book  Google Scholar 

  6. Aman, B., & Ciobanu, G. (2011). Solving a weak NP-complete problem in polynomial time by using mutual mobile membrane systems. Acta Informatica, 48(7–8), 409–415.

    Article  MathSciNet  Google Scholar 

  7. Aman, B., & Ciobanu, G. (2017). Efficiently solving the bin packing problem through bio-inspired mobility. Acta Informatica, 54(4), 435–445.

    Article  MathSciNet  Google Scholar 

  8. Aman, B., & Ciobanu, G. (2019). Adaptive P systems. Lecture Notes in Computer Science, 11399, 57–72.

    Article  Google Scholar 

  9. Bernardini, F., Gheorghe, M., & Krasnogor, N. (2007). Quorum sensing P systems. Theoretical Computer Science, 371, 20–33.

    Article  MathSciNet  Google Scholar 

  10. Bernardini, F., Romero-Campero, F.J., Gheorghe, M., Pérez-Jiménez, M.J., Margenstern, M., Verlan, S., & Krasnogor, N. On P systems with bounded parallelism. In IEEE Computer Society Proceedings 7th SYNASC (pp. 399–406).

  11. Bonchiş, C., Ciobanu, G., & Izbaşa, C. (2006). Encodings and arithmetic operations in membrane computing. Lecture Notes in Computer Science, 3959, 621–630.

    Article  MathSciNet  Google Scholar 

  12. Cavaliere, M., & Sburlan, D. (2005). Time and synchronization in membrane systems. Fundamenta Informaticae, 64(1–4), 65–77.

    MathSciNet  MATH  Google Scholar 

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

  14. Ciobanu, G., Pan, L., Păun, G., & Pérez-Jiménez, M. J. (2007). P systems with minimal parallelism. Theoretical Computer Science, 378, 117–130.

    Article  MathSciNet  Google Scholar 

  15. Ciobanu, G., Păun, G., & Pérez-Jiménez, M. J. (Eds.). (2006). Applications of Membrane Computing. Berlin: Springer.

    MATH  Google Scholar 

  16. Ciobanu, G., & Todoran, E. N. (2017). Denotational semantics of membrane systems by using complete metric spaces. Theoretical Computer Science, 701, 85–108.

    Article  MathSciNet  Google Scholar 

  17. Dinneen, M. J., Kim, Y.-B., & Nicolescu, R. (2012). Faster synchronization in P systems. Natural Computing, 11(1), 107–115.

    Article  MathSciNet  Google Scholar 

  18. Freund, R. (2005). Asynchronous P systems and P systems working in the sequential mode. Lecture Notes in Computer Science, 3365, 36–62.

    Article  Google Scholar 

  19. Freund, R., Kari, L., Oswald, M., & Sosík, P. (2005). Computationally universal P systems without priorities: two catalysts are sufficient. Theoretical Computer Science, 330, 251–266.

    Article  MathSciNet  Google Scholar 

  20. Freund, R., & Păun, G. (2013). How to obtain computational completeness in P systems with one catalyst. Electronic Proceedings in Theoretical Computer Science, 128, 47–61.

    Article  MathSciNet  Google Scholar 

  21. Frisco, P., Gheorghe, M., & Pérez-Jiménez, M. J. (Eds.). (2014). Applications of Membrane Computing in Systems and Synthetic Biology. Berlin: Springer.

    Google Scholar 

  22. Gheorghe, M., & Ipate, F. (2014). A kernel P systems survey. Lecture Notes in Computer Science, 8340, 1–9.

    Article  MathSciNet  Google Scholar 

  23. Păun, G. (2002). Membrane Computing: An Introduction. Berlin: Springer.

    Book  Google Scholar 

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

    MATH  Google Scholar 

  25. Păun, G, & Sheng, Y. (1999). On synchronization in P systems. Fundamenta Informaticae, 38(4), 397–410.

    Article  MathSciNet  Google Scholar 

  26. Rozenberg, G., & Salomaa, A. (Eds.). (1997). Handbook of Formal Languages (Vol. 3). Berlin: Springer.

    MATH  Google Scholar 

  27. Zhang, G., Pérez-Jiménez, M. J., & Gheorghe, M. (2017). Real-Life Applications with Membrane Computing. Berlin: Springer.

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Alexandru Ioan Cuza University of Iaşi, Iasi, Romania

    Bogdan Aman

  2. Romanian Academy, Institute of Computer Science, Iasi, Romania

    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.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

This work was presented at 20th Conference on Membrane Computing (CMC20)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Aman, B., Ciobanu, G. Synchronization of rules in membrane computing. J Membr Comput 1, 233–240 (2019). https://doi.org/10.1007/s41965-019-00022-1

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s41965-019-00022-1

Keywords

Search

Navigation