Skip to main content
SpringerLink
Log in

A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua

  • Chapter
  • First Online:
Enjoying Natural Computing

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

  • 426 Accesses

Abstract

P system simulators are of high importance in Membrane Computing, since they provide tools to assist on model validation and verification. Keeping a balance between generality and flexibility, on the one side, and efficiency, on the other hand, is always challenging, but it is worth the effort. Besides, in order to prove the feasibility of P system models as practical tools for solving problems and aid in decision making, it is essential to provide functional mechanisms to have all the elements required at disposal of the potential users smoothly integrated in a robust workflow. The aim of this paper is to describe the main components and connections within the approach followed in this pipeline.

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. Cardona, M., et al.: A computational modeling for real ecosystems based on P systems. Nat. Comput. 10(1), 39–53 (2011)

    Article  MathSciNet  Google Scholar 

  2. Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Simulation of P systems with active membranes on CUDA. Brief. Bioinform. 11(3), 313–322 (2010)

    Article  Google Scholar 

  3. Cecilia, J.M., García, J.M., Guerrero, G.D., Martínez-del-Amor, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Simulating a P system based efficient solution to SAT by using GPUs. J. Log. Algebr. Program. 79(6), 317–325 (2010)

    Article  MathSciNet  Google Scholar 

  4. Díaz-Pernil, D., Graciani, C., Gutiérrez-Naranjo, M.A., Pérez-Hurtado, I., Pérez-Jiménez, M.J.: Software for P systems. In: Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) The Oxford Handbook of Membrane Computing. Oxford University Press, pp. 437–454 (2009)

    Google Scholar 

  5. García-Quismondo, M., Gutiérrez-Escudero, R., Pérez-Hurtado, I., Pérez-Jiménez, M.J., Riscos-Núñez, A.: An overview of P-Lingua 2.0. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds.) WMC 2009. LNCS, vol. 5957, pp. 264–288. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-11467-0_20

    Chapter  Google Scholar 

  6. Gheorghe, M.: 3-COL problem modelling using simple Kernel P systems. Int. J. Comput. Math. 90(4), 816–830 (2013)

    Article  MathSciNet  Google Scholar 

  7. Ipate, F., et al.: Kernel P systems: applications and implementations. Adv. Intell. Syst. Comput. 212, 1081–1089 (2013)

    Article  Google Scholar 

  8. Kirk, D.B., Wen-Mei, W.H.: Programming Massively Parallel Processors: A Hands on Approach. Morgan Kauffman (2010)

    Google Scholar 

  9. Lefticaru, R., et al.: Towards an integrated approach for model simulation, property extraction and verification P systems. In Martínez, M.A., Paun, Gh. Pérez, I., Romero, F.J. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing, vol. 1, pp. 291–318 (2012)

    Google Scholar 

  10. Martínez-del-Amor, M.A.: Accelerating membrane systems simulators using high performance computing with GPU, Ph.D. thesis, University of Seville (2013)

    Google Scholar 

  11. Martínez-del-Amor, M.A., García-Quismondo, M., Macías-Ramos, L.F., Valencia-Cabrera, L., Riscos-Núñez, A., Pérez-Jiménez, M.J.: Simulating P systems on GPU devices: a survey. Fundam. Inform. 136(3), 269–284 (2015)

    MathSciNet  MATH  Google Scholar 

  12. Martínez-del-Amor, M.A., Macías-Ramos, L.F., Valencia-Cabrera, L., Pérez-Jiménez, M.J.: Parallel simulation of Population Dynamics P systems: updates and roadmap. Nat. Comput. 15(4), 565–573 (2016)

    Article  MathSciNet  Google Scholar 

  13. Martínez-del-Amor, M.A., Karlin, I., Jensen, R.E., Pérez-Jiménez, M.J., Elster, A.C.: Parallel simulation of probabilistic P systems on multicore platforms. In: García, M., Macías, L.F., Păun, Gh., Valencia, L. (eds.) Proceedings of the Tenth Brainstorming Week on Membrane Computing (BWMC 2012), vol. 2, pp. 17–26 (2012)

    Google Scholar 

  14. Martínez-del-Amor, M.A., Pérez-Carrasco, J., Pérez-Jiménez, M.J.: Characterizing the parallel simulation of P systems on the GPU. Int. J. Unconv. Comput. 9(5–6), 405–424 (2013)

    Google Scholar 

  15. Martínez-del-Amor, M.A., et al.: DCBA: simulating population dynamics P systems with proportional object distribution. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 257–276. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36751-9_18

    Chapter  Google Scholar 

  16. Martínez-del-Amor, M.A., Pérez-Hurtado, I., Gastalver-Rubio, A., Elster, A.C., Pérez-Jiménez, M.J.: Population dynamics P systems on CUDA. In: Gilbert, D., Heiner, M. (eds.) CMSB 2012. LNCS, pp. 247–266. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-33636-2_15

    Chapter  Google Scholar 

  17. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000). And Turku Center for Computer Science-TUCS Report No 208

    Article  MathSciNet  Google Scholar 

  18. Pérez-Hurtado, I., Valencia-Cabrera, L., Pérez-Jiménez, M.J., Colomer, M.A., Riscos-Núñez, A.: MeCoSim: a general purpose software tool for simulating biological phenomena by means of P systems. In: Li, K., Tang, Z., Li, R., Nagar, A.K., Thamburaj, R. (eds.) IEEE Fifth International Conference on Bio-inspired Computing: Theories and Applications (BIC-TA 2010), vol. 1, pp. 637–643 (2010)

    Google Scholar 

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

    Google Scholar 

  20. Valencia-Cabrera, L.: An environment for virtual experimentation with computational models based on P systems. Ph.D. thesis. University of Seville (2015)

    Google Scholar 

  21. Valencia-Cabrera, L., Orellana-Martín, D., Martínez-del-Amor, M.A., Pérez-Jiménez, M.J.: From super-cells to robotic swarms: two decades of evolution in the simulation of P systems. Bull. Int. Membr. Comput. Soc. Number 4, 65–87 (2017)

    Google Scholar 

  22. MeCoSim website. http://www.p-lingua.org/mecosim

  23. The P-Lingua website. http://www.p-lingua.org

  24. The PMCGPU project website. http://sourceforge.net/p/pmcgpu

Download references

Acknowledgments

The authors are very grateful to Mario J. Pérez-Jiménez for his unconditional support, unlimited generosity, patience and enthusiasm, and particularly for his skilful advising and guiding as their “scientific father”.

The authors also acknowledge the support from 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.

Author information

Authors and Affiliations

  1. Research Group on Natural Computing, Department of Computer Science and Artificial Intelligence, Universidad de Sevilla, Avda. Reina Mercedes s/n, 41012, Seville, Spain

    Luis Valencia-Cabrera, Miguel Á. Martínez-del-Amor & Ignacio Pérez-Hurtado

Authors
  1. Luis Valencia-Cabrera
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Miguel Á. Martínez-del-Amor
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ignacio Pérez-Hurtado
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Miguel Á. Martínez-del-Amor .

Editor information

Editors and Affiliations

  1. University of Seville, Sevilla, Spain

    Carmen Graciani

  2. University of Seville, Sevilla, Spain

    Agustín Riscos-Núñez

  3. Romanian Academy, Bucharest, Romania

    Gheorghe Păun

  4. Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer Nature Switzerland AG

About this chapter

Check for updates. Verify currency and authenticity via CrossMark

Cite this chapter

Valencia-Cabrera, L., Martínez-del-Amor, M.Á., Pérez-Hurtado, I. (2018). A Simulation Workflow for Membrane Computing: From MeCoSim to PMCGPU Through P-Lingua. In: Graciani, C., Riscos-Núñez, A., Păun, G., Rozenberg, G., Salomaa, A. (eds) Enjoying Natural Computing. Lecture Notes in Computer Science(), vol 11270. Springer, Cham. https://doi.org/10.1007/978-3-030-00265-7_23

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-00265-7_23

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-00264-0

  • Online ISBN: 978-3-030-00265-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation