[go: up one dir, main page]
Skip to main content
Springer Nature Link
Log in

Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework

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

Abstract

Tissue P systems constitute a well-known class of computing models within membrane computing. Inspired by the information exchange among cells and with the environment, many interesting variants emerged along the years, attracting significant attention. One of such variants, tissue P systems with promoters, was proved to be Turing-universal (even when restricting to a very limited number of elements) and able to solve NP-complete problems. On the other hand, P-Lingua framework provides useful tools to model, debug and simulate different types of P systems with a special relevance of the P-Lingua language, pLinguaCore library and MeCoSim environment. This work presents new features introduced in the framework to cover functionalities associated with tissue P systems with promoters, including extensions of the language, variants of tissue models and their simulators within P-Lingua version of MeCoSim. The new elements are described in detail, and the use of the tools is described through basic examples. Besides, a solution for SAT is experimentally validated using the developed software.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Institutional subscriptions

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

Similar content being viewed by others

Explore related subjects

Discover the latest articles, news and stories from top researchers in related subjects.

References

  1. Díaz-Pernil, D., Gutiérrez-Naranjo, M. A., & Pérez-Jiménez, M. J. (2006). Solving 3-COL with Tissue P Systems Proceeding of Fourth Brainstorming Week on Membrane Computing, Sevilla, 17–30.

  2. Garey, M. R., & Johnson, D. J. (1979). Computers and intractability: A guide to the theory of NP-completeness. San Francisco: W.H. Freeman.

    MATH  Google Scholar 

  3. Díaz-Pernil, D., Pérez-Hurtado, I., Pérez-Jiménez, M. J., & Riscos-Núñez, A. (2009). A P-Lingua programming environment for membrane computing. Lecture Notes in Computer Science, 5391, 187–203.

    Article  Google Scholar 

  4. García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M. J., & Riscos-Núñez, A. (2010). An overview of P-Lingua 2.0. Lecture Notes in Computer Science, 5957, 264–288.

    Article  Google Scholar 

  5. Guo, P., Quan, C., & Ye, L. (2019). UPSimulator: A general P system simulator. Knowledge-Based Systems, 170, 20–25.

    Article  Google Scholar 

  6. Lefticaru, R., Ipate, F., Valencia-Cabrera, L., Turcanu, A., Tudose, C., Gheorghe, M., et al. (2012). Towards an integrated approach for model simulation, property extraction and verification of P systems. Proceedings of Tenth Brainstorming Week on Membrane Computing, Sevilla, I, 291–318.

    Google Scholar 

  7. Macías-Ramos, L. F. (2016). Developing efficient simulators for cell machines. PhD thesis. University of Seville.

  8. Macías-Ramos, L. F., Pérez-Hurtado, I., García-Quismondo, M., Valencia-Cabrera, L., Pérez-Jiménez, M. J., & Riscos-Núñez, A. (2012). A P-Lingua based simulator for spiking neural P systems. Lecture Notes in Computer Science, 7184, 257–281.

    Article  MathSciNet  Google Scholar 

  9. Martín-Vide, C., Păun, Gh, Pazos, J., & Rodríguez-Patón, A. (2003). Tissue P systems. Theoretical Computer Science, 296(2), 295–326.

    Article  MathSciNet  Google Scholar 

  10. Martínez-del-Amor, M. A., Pérez-Hurtado, I., Pérez-Jiménez, M. J., & Riscos-Núñez, A. (2010). A P-Lingua based simulator for tissue P systems. Journal of Logic and Algebraic Programming, 79, 374–382.

    Article  MathSciNet  Google Scholar 

  11. Pan, L., & Alhazov, A. (2006). Solving HPP and SAT by P systems with active membranes and separation rules. Acta Informatica, 43(2), 131–145.

    Article  MathSciNet  Google Scholar 

  12. Pan, L., & Song, B. (2020). P systems with rule production and removal. Fundamenta Informaticae, 2020(171), 313–329.

    Google Scholar 

  13. Pan, L., & Pérez-Jiménez, M.J. (2010). Computational complexity of tissue-like P systems. Journal of Complexity, 26(3), 293–315.

  14. Păun, Gh. (2000). Computing with membranes. Journal of Computer and System Sciences, 61(1), 108–143.

    Article  MathSciNet  Google Scholar 

  15. Păun, Gh. (2001). P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics, 6(1), 75–90.

    MathSciNet  MATH  Google Scholar 

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

    MATH  Google Scholar 

  17. Pérez-Hurtado, I., Valencia-Cabrera, L., Pérez-Jiménez, M. J., Colomer, M. A., & Riscos-Núñez, A. (2010). Mecosim: A general purpose software tool for simulating biological phenomena by means of p systems. IEEE Fifth International Conference on Bio-inpired Computing: Theories and Applications (BIC-TA 2010), I, 637–643.

    Google Scholar 

  18. Pérez-Hurtado, I. (2010). Desarrollo y aplicaciones de un entorno de programación para Computación Celular: P-Lingua. PhD thesis. University of Seville.

  19. Pérez-Hurtado, I., Valencia-Cabrera, L., Chacón, J. M., Riscos-Núñez, A., & Pérez-Jiménez, M. J. (2014). A P-Lingua based simulator for tissue P systems with cell separation. Romanian Journal of Information Science and Technology, 17, 89–102.

    Google Scholar 

  20. Porreca, A. E., Murphy, N., & Pérez-Jiménez, M. J. (2012). An optimal frontier of the efficiency of tissue P systems with cell division. In Proceedings of 10th Brainstorming Week on Membrane Computing, Sevilla, II, 141–166.

  21. Song, B., & Kong, Y. (2019). Solution to PSPACE-complete problem using P systems with active membranes with time-freeness. Mathematical Problems in Engineering, 5793234.

  22. Song, B., Li, K., Orellana-Mart, D., Valencia-Cabrera, L., Perez-jemenz, M.J. (2020). Cell-like P systems with evolutional symport/antiport rules and membrane creation. Information and Computation. https://doi.org/10.1016/j.ic.2020.104542.

  23. Song, B., Perez-jemenz, M.J., Pan, L. (2017). An efficient time-free solution to QSAT problem using P systems with proteins on membranes. Information and Computation. https://doi.org/10.1016/j.ic.2017.06.005.

    Article  MathSciNet  Google Scholar 

  24. Song, B., & Pan, L. (2016). The computational power of tissue-like P systems with promoters. Theoretical Computer Science, 641, 43–52.

    Article  MathSciNet  Google Scholar 

  25. Song, B., Zhang, C., & Pan, L. (2017) Tissue-like P systems with evolutional symport/antiport rules. Information Sciences, 378, 177–193.

    Article  MathSciNet  Google Scholar 

  26. Song, T., Pan, L., Wu, T., Zheng, P., Dennis, W.M.L., Rodriguez-Paton, A. (2019). Spiking neural P systems with learning functions. IEEE Transactions on NanoBioscience, 18(2), 176–190.

    Article  Google Scholar 

  27. Valencia Cabrera, L. (2015). An environment for virtual experimentation with computational models based on P systems. PhD thesis. University of Seville.

  28. Wu, T., Păun, A., Zhang, Z., Pan, L. (2018). Spiking neural P systems with polarizations. IEEE Transactions on Neural Networks and Learning Systems, 8, 3349–3360.

  29. Zhang, X., Pan, L., Păun, A., (2015) On the universality of axon P systems. IEEE Transactions on Neural Networks and Learning Systems, 26(11), 2816–2829.

    Article  MathSciNet  Google Scholar 

  30. Zhang, G., Pérez-Jiménez, M. J., & Gheorghe, M. (2017). Real-life applications with membrane computing. New York: Springer.

    Book  Google Scholar 

  31. Java tutorial Website, https://docs.oracle.com/javase/tutorial.

  32. Javacc, https://javacc.org.

  33. MeCoSim Website. http://www.p-lingua.org/mecosim/.

  34. P-Lingua Website. http://www.p-lingua.org/.

Download references

Acknowledgements

The work of Luis Valencia-Cabrera was partially supported in part by the research project TIN2017-89842-P, cofinanced by Ministerio de Economía, Industria y Competitividad (MINECO) of Spain, through the Agencia Estatal de Investigación (AEI), and by Fondo Europeo de Desarrollo Regional (FEDER) of the European Union. The work of Bosheng Song was supported in part by National Natural Science Foundation of China (61972138, 61602192), and in part by the Fundamental Research Funds for the Central Universities (531118010355).

Author information

Authors and Affiliations

  1. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, University of Sevilla, Sevilla, Spain

    Luis Valencia-Cabrera

  2. College of Information Science and Engineering, Hunan University, Changsha, China

    Bosheng Song

Authors
  1. Luis Valencia-Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bosheng Song
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bosheng Song.

Ethics declarations

Conflict of interest

On behalf of all authors, the corresponding author states that there is no conflict of interest.

Additional information

Publisher's Note

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

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Valencia-Cabrera, L., Song, B. Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework. J Membr Comput 2, 95–107 (2020). https://doi.org/10.1007/s41965-020-00037-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s41965-020-00037-z

Keywords

Search

Navigation