Skip to main content
SpringerLink
Log in
Book cover

International Conference on Membrane Computing

CMC 2016: Membrane Computing pp 286–306Cite as

Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

  • Conference paper
  • First Online:

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

Abstract

Kernel P systems (or kP systems) bring together relevant features from several P systems flavours into a unified kernel model which allows solving complex problems using a straightforward code programming approach. kPWorkbench is a software suite enabling specification, parsing and simulation of kP systems models defined in the kernel P–Lingua (or kP-Lingua) programming language. It has been shown that any computation of a kP system involving only rewriting and communication rules can be simulated by a family of Communicating Stream X-Machines (or CSXM), which are the core of FLAME agent based simulation environment. Following this, kPWorkbench enables translating kP-Lingua specifications into FLAME models, which can be simulated in a sequential or parallel (MPI based) way by using the FLAME framework. Moreover, FLAME GPU framework enables efficient simulation of CSXM on CUDA enabled GPGPU devices. In this paper we present an extension of kPWorkbench framework to generate FLAME models from kP–Lingua specifications including structural rules; and consider translation of FLAME specifications into FLAME GPU models. Also, we conduct a performance evaluation regarding simulation of equivalent kP systems and CSXM models in kPWorkbench and FLAME respectively.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Notes

  1. 1.

    http://kpworkbench.org/index.php/case-studies.

References

  1. Bai, H., Rolfe, M.D., Jia, W., Coakley, S., Poole, R.K., Green, J., Holcombe, M.: Agent-based modeling of oxygen-responsive transcription factors in Escherichia coli. PLoS Comput. Biol. 10(4), e1003595 (2014)

    Article  Google Scholar 

  2. Bakir, M.E., Konur, S., Gheorghe, M., Niculescu, I., Ipate, F.: High performance simulations of kernel P systems. In: 2014 IEEE International Conference on High Performance Computing and Communications, 6th IEEE International Symposium on Cyberspace Safety and Security, 11th IEEE International Conference on Embedded Software and Systems, HPCC/CSS/ICESS, Paris, France, 20–22 August 2014, pp. 409–412. IEEE (2014)

    Google Scholar 

  3. Ciobanu, G., Wenyuan, G.: P systems running on a cluster of computers. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 123–139. Springer, Heidelberg (2004). doi:10.1007/978-3-540-24619-0_9

    Chapter  Google Scholar 

  4. Diez Dolinski, L., Núñez Hervás, R., Cruz Echeandía, M., Ortega, A.: Distributed simulation of P systems by means of map-reduce: first steps with Hadoop and P-Lingua. In: Cabestany, J., Rojas, I., Joya, G. (eds.) IWANN 2011. LNCS, vol. 6691, pp. 457–464. Springer, Heidelberg (2011). doi:10.1007/978-3-642-21501-8_57

    Chapter  Google Scholar 

  5. García-Quismondo, M.: Modelling and simulation of real-life phenomena in membrane computing. Ph.D. thesis, University of Seville, November 2013

    Google Scholar 

  6. Gheorghe, M., Ipate, F., Dragomir, C., Mierla, L., Valencia-Cabrera, L., García-Quismondo, M., Pérez-Jiménez, M.J.: Kernel P Systems - Version I. In: Eleventh Brainstorming Week on Membrane Computing (11BWMC), pp. 97–124, August 2013

    Google Scholar 

  7. Gheorghe, M., Ipate, F., Mierla, L., Konur, S., kPWorkbench: a software framework for kernel P systems. In: Macías-Ramos, L.F., Păun, G., Riscos-Núñez, A., Valencia-Cabrera, L. (eds.) Thirteenth Brainstorming Week on Membrane Computing, WBMC, Sevilla, Spain, 2–6 February 2015, pp. 179–194. Fenix Editora (2015)

    Google Scholar 

  8. Gheorghe, M., Konur, S., Ipate, F., Mierla, L., Bakir, M.E., Stannett, M.: An integrated model checking toolset for kernel P systems. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 153–170. Springer, Heidelberg (2015). doi:10.1007/978-3-319-28475-0_11

    Chapter  Google Scholar 

  9. Gutiérrez, A., Fernández, L., Arroyo, F., Martínez, V.: Design of a hardware architecture based on microcontrollers for the implementation of membrane systems. In: Eighth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2006, pp. 350–353 (2006)

    Google Scholar 

  10. Ipate, F., Bălănescu, T., Kefalas, P., Holcombe, M., Eleftherakis, G.: A new model of communicating stream X-machine systems. Rom. J. Inf. Sci. Technol. 6(1), 165–184 (2003)

    Google Scholar 

  11. Ipate, F., Lefticaru, R., Mierlă, L., Cabrera, L.V., Han, H., Zhang, G., Dragomir, C., Jiménez, M.J.P., Gheorghe, M.: Kernal 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), pp. 1081–1089. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  12. Kirk, D.B., Hwu, W.W.: Programming massively parallel processors: a hands-on approach, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco (2010)

    Google Scholar 

  13. Konur, S., Kiran, M., Gheorghe, M., Burkitt, M., IpateF.: Agent-based high-performance simulation of biological systems on the GPU. In: 17th IEEE International Conference on High Performance Computing and Communications, HPCC, 7th IEEE International Symposium on Cyberspace Safety and Security, CSS, and 12th IEEE International Conference on Embedded Software and Systems, ICESS, New York, NY, USA, 24–26 August 2015, pp. 84–89. IEEE (2015)

    Google Scholar 

  14. Macías-Ramos, L.F.: Developing efficient simulators for cell machines. Ph.D. thesis, University of Seville, February 2016

    Google Scholar 

  15. Martínez-del-Amor, M.Á.: Accelerating membrane systems simulators using high performance computing with GPU. Ph.D. thesis, University of Seville, May 2013

    Google Scholar 

  16. 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 

  17. Martínez-del-Amor, M.A., Macías-Ramos, L.F., Valencia-Cabrera, L., Riscos-Núñez, A., Pérez-Jiménez, M.J.: Accelerated simulation of P systems on the GPU: a survey. In: Pan, L., Păun, G., Pérez-Jiménez, M.J., Song, T. (eds.) BIC-TA 2014. CCIS, vol. 472, pp. 308–312. Springer, Heidelberg (2014). doi:10.1007/978-3-662-45049-9_50

    Google Scholar 

  18. Munshi, A., Gaster, B.R., Mattson, T.G., Fung, J., Ginsburg, D.: OpenCL Programming Guide, 1st edn. Addison-Wesley, Boston (2011)

    Google Scholar 

  19. Nickolls, J., Buck, I., Garland, M., Skadron, K.: Scalable parallel programming with CUDA. Queue 6(2), 40–53 (2008)

    Article  Google Scholar 

  20. Niculescu, I., Gheorghe, M., Ipate, F., Stefanescu, A.: From kernel P Systems to X-machines and FLAME. J. Automata Lang. Comb. 19(1–4), 239–250 (2014)

    MathSciNet  MATH  Google Scholar 

  21. Owens, J.D., Houston, M., Luebke, D., Green, S., Stone, J.E., Phillips, J.C.: GPU Computing. Proc. IEEE 96(5), 879–899 (2008)

    Article  Google Scholar 

  22. Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  23. Petreska, B., Teuscher, C.: A reconfigurable hardware membrane system. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 269–285. Springer, Heidelberg (2004). doi:10.1007/978-3-540-24619-0_20

    Chapter  Google Scholar 

  24. Richmond, P., Walker, D.C., Coakley, S., Romano, D.M.: High performance cellular level agent-based simulation with FLAME for the GPU. Brief. Bioinform. 11(3), 334–347 (2010)

    Article  Google Scholar 

  25. Takizawa, H., Koyama, K., Sato, K., Komatsu, K., Kobayashi, H.: CheCL: transparent checkpointing and process migration of openCL applications. In: IEEE International on Parallel Distributed Processing Symposium (IPDPS), pp. 864–876 (2011)

    Google Scholar 

  26. Wang, L., Tao, J., Ranjan, R., Marten, H., Streit, A., Chen, J., Chen, D.: G-Hadoop: MapReduce across distributed data centers for data-intensive computing. Future Gener. Comput. Syst. 29(3), 739–750 (2013). Special Section: Recent Developments in High Performance Computing and Security

    Article  Google Scholar 

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

  28. kPWorkbench Home Page. http://kpworkbench.org/

  29. FLAME website. http://www.flame.ac.uk/

  30. FLAME GPU website. http://www.flamegpu.com/

  31. The Message Passing Interface (MPI) standard. http://www.mcs.anl.gov/research/projects/mpi/

  32. The NVIDIA Website. http://www.nvidia.com/content/global/global.php

  33. OpenCL standard webpage. http://www.khronos.org/opencl

  34. The Sevilla HPC Server. http://www.gcn.us.es/gpucomputing/

  35. The Open MPI project. https://www.open-mpi.org/

Download references

Acknowledgements

The work of RL, IN and LM was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI (project number: PNII-ID-PCE-2011-3-0688).

Author information

Authors and Affiliations

  1. CENTRIC, Sheffield Hallam University, 153 Arundel Street, Sheffield, S1 2NU, UK

    Raluca Lefticaru

  2. Department of Computer Science, University of Bucharest, Str. Academiei nr. 14, 010014, Bucharest, Romania

    Raluca Lefticaru & Laurenţiu Mierlă

  3. Research Group on Natural Computing, Department Computer Science and Artificial Intelligence, University of Seville, Avda. Reina Mercedes S/N, 41012, Sevilla, Spain

    Luis F. Macías-Ramos

  4. Department of Mathematics and Computer Science, University of Pitesti, Str. Targu din Vale 1, 110040, Pitesti, Romania

    Ionuţ Mihai Niculescu & Laurenţiu Mierlă

Authors
  1. Raluca Lefticaru
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis F. Macías-Ramos
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ionuţ Mihai Niculescu
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Laurenţiu Mierlă
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Raluca Lefticaru .

Editor information

Editors and Affiliations

  1. University of Milano-Bicocca , Milan, Italy

    Alberto Leporati

  2. Leiden University , Leiden, The Netherlands

    Grzegorz Rozenberg

  3. Turku Center for Computer Science , Turku, Finland

    Arto Salomaa

  4. University of Milan-Bicocca , Milan, Italy

    Claudio Zandron

A Appendix

A Appendix

figure a
figure b

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Cite this paper

Lefticaru, R., Macías-Ramos, L.F., Niculescu, I.M., Mierlă, L. (2017). Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME. In: Leporati, A., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2016. Lecture Notes in Computer Science(), vol 10105. Springer, Cham. https://doi.org/10.1007/978-3-319-54072-6_18

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-54072-6_18

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-54071-9

  • Online ISBN: 978-3-319-54072-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation