Skip to main content

Abstract

This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on GPU parallel architectures, realized using CUDA, is presented and the results are compared with the ones obtained using Promela and Spin. A case study, namely the Subset sum problem, which has been modelled with kernel P systems and further implemented in Promela is presented.

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

Access this chapter

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

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Similar content being viewed by others

References

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

    Article  MathSciNet  MATH  Google Scholar 

  2. Păun G (2002) Membrane computing: an introduction. Springer, London

    Book  MATH  Google Scholar 

  3. Păun G, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. Oxford University Press, Oxford

    MATH  Google Scholar 

  4. Ciobanu G, Pérez-Jiménez MJ, Păun G (eds) (2006) Applications of membrane computing., Natural computing seriesSpringer, London

    MATH  Google Scholar 

  5. Gheorghe M, Ipate F, Dragomir C (2012) A kernel P system. In: Proceedings of 10th brainstorming week on membrane computing. Fénix Editora, Seville, Spain, pp 153–170

    Google Scholar 

  6. Gheorghe M, Ipate F, Lefticaru R, Pérez-Jiménez MJ, Ţurcanu A, Valencia Cabrera L, García-Quimondo M, Mierlă L (2012) 3-col problem modelling using simple kernel P systems. Int J Comput Math. doi:10.1080/00207160.2012.743712

    MATH  Google Scholar 

  7. Ipate F, Dragomir, C, Lefticaru R, Mierlă L, Pérez-Jiménez MJ (2012) Using a kernel P system to solve the 3-col problem. In: Proceedings of the 13th international conference on membrane computing. Computer and Automation Research Institute, Hungarian Academy of Sciences, pp 243–258

    Google Scholar 

  8. Ben-Ari M (2008) Principles of the spin model checker. Springer, London

    MATH  Google Scholar 

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

    Article  MathSciNet  MATH  Google Scholar 

  10. Pérez-Jiménez MJ, Riscos-Núñez A (2005) Solving the subset-Sum problem by P systems with active membranes. New Gener Comput 23(4):339–356

    Article  MATH  Google Scholar 

  11. Code repository http://www.p-lingua.org/mecosim/doc/case_studies/SubsetSumBIC-TA/

  12. Ipate F, Lefticaru R, Pérez-Hurtado I, Pérez-Jiménez MJ, Tudose C (2012) Formal verification of P systems with active membranes through model checking. In: Gheorghe M, Păun G, Rozenberg G, Salomaa A, Verlan S (eds) Proceeding of the international conference on membrane computing 2011. Lecture Notes in Computer Science, vol 7184. Springer pp 215–225

    Google Scholar 

  13. Ipate F, Lefticaru R, Tudose C (2011) Formal verification of P systems using Spin. Int J Found Comput Sci 22:133–142

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgments

The work of FI, MG, LM and RL was supported by a grant of the Romanian National Authority for Scientific Research, CNCS-UEFISCDI, project number PN-II-ID-PCE-2011-3-0688. LVC and MPJ acknowledge the support of the project TIN2009-13192 of the Ministerio de Ciencia e Innovación of Spain, co-financed by FEDER funds, and the support of the Project of Excellence with Investigador de Reconocida Valía of the Junta de Andalucía, grant P08-TIC-04200. GZ acknowledges the support by the National Natural Science Foundation of China (61170016), the Program for New Century Excellent Talents in University (NCET-11-0715) and SWJTU supported project (SWJTU12CX008).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Florentin Ipate .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ipate, F. et al. (2013). 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), 2013. Advances in Intelligent Systems and Computing, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37502-6_126

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-37502-6_126

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-37501-9

  • Online ISBN: 978-3-642-37502-6

  • eBook Packages: EngineeringEngineering (R0)

Publish with us

Policies and ethics