Advertisement

Kernel P Systems: Applications and Implementations

  • Florentin Ipate
  • Raluca Lefticaru
  • Laurenţiu Mierlă
  • Luis Valencia Cabrera
  • Huang Han
  • Gexiang Zhang
  • Ciprian Dragomir
  • Mario J. Pérez Jiménez
  • Marian Gheorghe
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 212)

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.

Keywords

Membrane computing Kernel P systems Subset sum problem Formal verification 

Notes

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

References

  1. 1.
    Păun G (2000) Computing with membranes. J Comput Syst Sci 61:108–143MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Păun G (2002) Membrane computing: an introduction. Springer, LondonCrossRefzbMATHGoogle Scholar
  3. 3.
    Păun G, Rozenberg G, Salomaa A (eds) (2010) The Oxford handbook of membrane computing. Oxford University Press, OxfordzbMATHGoogle Scholar
  4. 4.
    Ciobanu G, Pérez-Jiménez MJ, Păun G (eds) (2006) Applications of membrane computing., Natural computing seriesSpringer, LondonzbMATHGoogle Scholar
  5. 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–170Google Scholar
  6. 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 zbMATHGoogle Scholar
  7. 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–258Google Scholar
  8. 8.
    Ben-Ari M (2008) Principles of the spin model checker. Springer, LondonzbMATHGoogle Scholar
  9. 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–702MathSciNetCrossRefzbMATHGoogle Scholar
  10. 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–356CrossRefzbMATHGoogle Scholar
  11. 11.
  12. 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–225Google Scholar
  13. 13.
    Ipate F, Lefticaru R, Tudose C (2011) Formal verification of P systems using Spin. Int J Found Comput Sci 22:133–142MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Florentin Ipate
    • 1
    • 2
  • Raluca Lefticaru
    • 1
    • 2
  • Laurenţiu Mierlă
    • 2
  • Luis Valencia Cabrera
    • 3
  • Huang Han
    • 4
  • Gexiang Zhang
    • 4
  • Ciprian Dragomir
    • 5
  • Mario J. Pérez Jiménez
    • 3
  • Marian Gheorghe
    • 2
    • 5
  1. 1.Faculty of Mathematics and Computer ScienceUniversity of BucharestBucharestRomania
  2. 2.Faculty of Mathematics and Computer ScienceUniversity of PiteştiPiteştiRomania
  3. 3.Research Group on Natural Computing, Department of Computer Science and Artificial IntelligenceUniversity of Sevilla AvdaSevillaSpain
  4. 4.School of Electrical EngineeringSouthwest Jiaotong UniversityChengduPeople’s Republic of China
  5. 5.Department of Computer ScienceUniversity of SheffieldSheffieldUK

Personalised recommendations