Advertisement

Available Membrane Computing Software

  • Miguel Angel Gutiérrez-Naranjo
  • Mario J. Pérez-Jiménez
  • Agustín Riscos-Núñez
Part of the Natural Computing Series book series (NCS)

Abstract

The simulation of a P system with current computers is a quite complex task. P systems are intrinsically nondeterministic computational devices and therefore their computation trees are difficult to store and handle with computers with one processor (or a bounded number of processors). Nevertheless, there exists a first generation of simulators which can be successfully used for pedagogical purposes and as assistant tools for researchers. This chapter summarizes some of these simulators, presenting the state of the art of the available software for simulating (different variants of) cell-like membrane systems.

Keywords

Membrane System Message Passing Interface Inference Engine Computation Tree Evolution Step 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    A. Alhazov: Maximally Parallel Multiset-Rewriting Systems: Browsing the Configurations. Proc. Third Brainstorming Week on Membrane Computing, Sevilla, 2005, RGNC Report 01/2005, 1–10.Google Scholar
  2. 2.
    A. Alhazov, M. Margenstern, V. Rogozhin, Yu. Rogozhin, S. Verlan: Communicative P systems with Minimal Cooperation. In Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milano, Italy, 2004. Revised Papers. LNCS 3365, Springer, Berlin, 2005 [35].Google Scholar
  3. 3.
    A. Alhazov, C. Martín-Vide, Gh. Păun, eds.: Pre-Proceedings of the Workshop on Membrane Computing, Tarragona, Spain, 2003, Report RGML 28/03.Google Scholar
  4. 4.
    I.I. Ardelean, M. Cavaliere: Modelling Biological Processes by Using a Probabilistic P System Software. Natural Computing, 2,2 (2003), 173–197.zbMATHCrossRefGoogle Scholar
  5. 5.
    F. Arroyo, A.V. Baranda, J. Castellanos, C. Luengo, L.F. de Mingo: A Recursive Algorithm for Describing Evolution in Transition P Systems. In Gh. Păun, eds.: Pre-Proceedings of Workshop on Membrane Computing, Curtea de Argeş, Romania, August 2001. Technical Report GRLMC 17/01, Rovira i Virgili University, Tarragona, Spain, 2001 [33], 19–30.Google Scholar
  6. 6.
    F. Arroyo, A.V. Baranda, J. Castellanos, C. Luengo, L.F. de Mingo: Structures and Bio-Language to Simulate Transition P Systems on Digital Computers. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science and Molecular Computing Points of View, LNCS 2235, Springer, Berlin, 2001 [17], 1–16.Google Scholar
  7. 7.
    F. Arroyo, C. Luengo, A.V. Baranda, L.F. de Mingo: A Software Simulation of Transition P Systems in Haskell. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing, International Workshop WMC-CdeA 2002, Curtea de Argeş, Romania. Revised Papers. LNCS 2597, Springer, Berlin, 2003 [43], 19–32.CrossRefGoogle Scholar
  8. 8.
    H. Attiya, J. Welch: Distributed Computing: Fundamentals, Simulations and Advanced Topics. McGraw-Hill, 2000.Google Scholar
  9. 9.
    A.V. Baranda, J. Castellanos, F. Arroyo, R. Gonzalo: Data Structures for Implementing P Systems in Silico. In M.J. Dinneen, Gh. Păun, eds.: Pre-Proceedings of Workshop on Multiset Processing, Curtea de Argeş, Romania, CDMTCS TR 140, Univ. of Auckland, 2000 [16], 21–34.Google Scholar
  10. 10.
    A.V. Baranda, J. Castellanos, F. Arroyo, R. Gonzalo: Towards an Electronic Implementation of Membrane Computing: A Formal Description of Nondeterministic Evolution in Transition P Systems. In Proceedings of DNA-Based Computers, Tampa, Florida, 2002 (N. Jonoska, N.C. Seeman, eds.), LNCS 2340, Springer, Berlin, 2002, 350–359.Google Scholar
  11. 11.
    A.V. Baranda, J. Castellanos, R. Gonzalo, F. Arroyo, L.F. de Mingo: Data Structures for Implementing Transition P Systems in Silico. Romanian Journal of Information Science and Technology, 4,1–2, (2001), 21–32.Google Scholar
  12. 12.
    D. Balbontín-Noval, M.J. Pérez-Jiménez, F. Sancho-Caparrini: A MzScheme Implementation of Transition P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing, International Workshop WMC-CdeA 2002, Curtea de Argeş, Romania. Revised Papers. LNCS 2597, Springer, Berlin, 2003 [43], 58–73.CrossRefGoogle Scholar
  13. 13.
    L. Bianco: A P System Simulator: Introduction to Psim. Unpublished manuscript, 2004.Google Scholar
  14. 14.
    L. Bianco, F. Fontana, G. Franco, V. Manca: P Systems for Biological Dynamics. In this volume.Google Scholar
  15. 15.
    A. Binder, R. Freund, G. Lojka, M. Oswald: Implementation of Catalytic P Systems. Proceedings of CIAA 2004, Ninth International Conference on Implementation and Application of Automata, Kingston, Canada, 2004, 24–33.Google Scholar
  16. 16.
    C.S. Calude, M.J. Dinneen, Gh. Păun, eds.: Pre-Proceedings of Workshop on Multiset Processing, Curtea de Argeş, Romania, CDMTCS TR 140, Univ. of Auckland, 2000.Google Scholar
  17. 17.
    C.S. Calude, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science and Molecular Computing Points of View, LNCS 2235, Springer, Berlin, 2001.zbMATHGoogle Scholar
  18. 18.
    M. Cavaliere: Evolution-Communication P Systems. In G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing, International Workshop WMC-CdeA 2002, Curtea de Argeş, Romania. Revised Papers. LNCS 2597, Springer, Berlin, 2003 [43], 134–145.CrossRefGoogle Scholar
  19. 19.
    M. Cavaliere, I.I. Ardelean: Modelling Respiration in Bacteria and Respiration/Photosynthesis Interaction in Cyanobacteria by Using a P System Simulator. In this volume.Google Scholar
  20. 20.
    M. Cavaliere, C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, Spain, 2003, Report RGML 26/03.Google Scholar
  21. 21.
    G. Ciobanu, D. Paraschiv: P System Software Simulator. Fundamenta Informaticae, 49,1–3 (2002), 61–66.zbMATHGoogle Scholar
  22. 22.
    G. Ciobanu, Gh. Păun, Gh. Ştefănescu: Sevilla Carpets Associated with P Systems. In C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, Spain, 2003, Report RGML 26/03 [20], 135–140.Google Scholar
  23. 23.
    G. Ciobanu, G. Wenyuan: A Parallel Implementation of Transition P Systems. In C. Martín-Vide, Gh. Păun, eds.: Pre-Proceedings of the Workshop on Membrane Computing, Tarragona, Spain, 2003, Report RGML 28/03 [3], 169–184.Google Scholar
  24. 24.
    G. Ciobanu, G. Wenyuan: P Systems Running on a Cluster of Computers. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2003, Tarragona, Spain, 2003. Revised Papers. LNCS 2933, Springer, Berlin, 2004 [34], 123–139.Google Scholar
  25. 25.
    A. Cordón-Franco, M.A. Gutiérrez-Naranjo. M.J. Pérez-Jiménez, A. Riscos-Núñez, F. Sancho-Caparrini: Implementing in Prolog an Effective Cellular So-lution to the Knapsack Problem. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2003, Tarragona, Spain, 2003. Revised Papers. LNCS 2933, Springer, Berlin, 2004 [34], 140–152.Google Scholar
  26. 26.
    A. Cordón-Franco, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez, F. Sancho-Caparrini: Cellular Solutions of Some Numerical NP-Complete Problems: A Prolog Implementation. In Molecular Computational Models: Unconventional Approaches (M. Gheorghe, ed.), Idea Group, Inc., 2005, 115–149.Google Scholar
  27. 27.
    A. Cordón-Franco, M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, F. Sancho-Caparrini: A Prolog Simulator for Deterministic P Systems with Active Membranes. New Generation Computing, 22,4 (2004), 349–364.zbMATHCrossRefGoogle Scholar
  28. 28.
    M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez: A Fast P System for Finding Balanced 2-Partition. Soft Computing, 9 (2005).Google Scholar
  29. 29.
    M.A. Gutiérrez-Naranjo, M.J. Pérez-Jiménez, A. Riscos-Núñez: On Descriptive Complexity of P Systems. In Gh. Păun, C. Zandron, eds.: Pre-Proceedings of the Workshop on Membrane Computing WMC5, Universitá di Milano-Bicocca, Italy, 2004 [36], 245–255.Google Scholar
  30. 30.
    M. Maliţa: Membrane Computing in Prolog. In M.J. Dinneen, Gh. Păun, eds.: Pre-Proceedings of Workshop on Multiset Processing, Curtea de Argeş, Romania, CDMTCS TR 140, Univ. of Auckland, 2000 [16], 159–175.Google Scholar
  31. 31.
    V. Manca: On the Dynamics of P Systems. In Gh. Păun, C. Zandron, eds.: Pre-Proceedings of the Workshop on Membrane Computing WMC5, Universitá di Milano-Bicocca, Italy, 2004 [36], 29–43.Google Scholar
  32. 32.
    M. Margenstern, V. Rogozhin, Yu. Rogozhin, S. Verlan: About P Systems with Minimal Symport/Antiport Rules and Four Membranes. In Gh. Păun, C. Zandron, eds.: Pre-Proceedings of the Workshop on Membrane Computing WMC5, Universitá di Milano-Bicocca, Italy, 2004 [36], 283–294.Google Scholar
  33. 33.
    C. Martín-Vide, Gh. Păun, eds.: Pre-Proceedings of Workshop on Membrane Computing, Curtea de Argeş, Romania, August 2001. Technical Report GRLMC 17/01, Rovira i Virgili University, Tarragona, Spain, 2001.Google Scholar
  34. 34.
    C. Martín-Vide, Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2003, Tarragona, Spain, 2003. Revised Papers. LNCS 2933, Springer, Berlin, 2004.zbMATHGoogle Scholar
  35. 35.
    G. Mauri, Gh. Păun, M.J. Pérez-Jiménez, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC5, Milano, Italy, 2004. Revised Papers. LNCS 3365, Springer, Berlin, 2005.zbMATHGoogle Scholar
  36. 36.
    G. Mauri, Gh. Păun, C. Zandron, eds.: Pre-Proceedings of the Workshop on Membrane Computing WMC5, Universitá di Milano-Bicocca, Italy, 2004.Google Scholar
  37. 37.
    I.A. Nepomuceno-Chamorro: A Java Simulator for Basic Transition P Systems. In A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, Spain, Report RGNC 01/04, 2004 [42], 309–315.Google Scholar
  38. 38.
    D.V. Nicolau Jr., G. Solana, F. Fulga, D.V. Nicolau: A C Library for Simulating P Systems. Fundamenta Informaticae, 49,1–3 (2002), 241–248.zbMATHGoogle Scholar
  39. 39.
    Gh. Păun: Computing with Membranes. Turku Centre for Computer Science, TUCS Technical Report, Nr.208, 1998.Google Scholar
  40. 40.
    Gh. Păun: Computing with Membranes. Journal of Computer and System Sciences, 61,1 (2000), 108–143.CrossRefzbMATHMathSciNetGoogle Scholar
  41. 41.
    Gh. Păun: P Systems with Active Membranes: Attacking NP-Complete Problems. Journal of Automata, Languages and Combinatorics, 6,1 (2001), 75–90.zbMATHMathSciNetGoogle Scholar
  42. 42.
    Gh. Păun, A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, Spain, Report RGNC 01/04, 2004.Google Scholar
  43. 43.
    Gh. Păun, G. Rozenberg, A. Salomaa, C. Zandron, eds.: Membrane Computing, International Workshop WMC-CdeA 2002, Curtea de Argeş, Romania. Revised Papers. LNCS 2597, Springer, Berlin, 2003.zbMATHGoogle Scholar
  44. 44.
    Gh. Păun: Membrane Computing. An Introduction. Springer, Berlin, 2002.zbMATHGoogle Scholar
  45. 45.
    M.J. Pérez-Jiménez, F. Romero-Campero: A CLIPS Simulator for Recognizer P Systems with Active Membranes. In A. Riscos-Núñez, A. Romero-Jiménez, F. Sancho-Caparrini, eds.: Proceedings of the Second Brainstorming Week on Membrane Computing, Sevilla, Spain, Report RGNC 01/04, 2004 [42], 387–413.Google Scholar
  46. 46.
    M.J. Pérez-Jiménez, A. Romero-Jiménez, F. Sancho-Caparrini: Solving VALIDITY Problem by Active Membranes with Input. In C. Martín-Vide, Gh. Păun, eds.: Proceedings of the Brainstorming Week on Membrane Computing, Tarragona, Spain, 2003, Report RGML 26/03 [20], 279–290.Google Scholar
  47. 47.
    M.J. Pérez-Jiménez, F. Sancho-Caparrini: A Formalization of Transition P Systems. Fundamenta Informaticae, 49,1–3 (2002), 261–272.zbMATHMathSciNetGoogle Scholar
  48. 48.
    B. Petreska, C. Teuscher: A Reconfigurable Hardware Membrane System. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2003, Tarragona, Spain, 2003. Revised Papers. LNCS 2933, Springer, Berlin, 2004 [34], 269–285.Google Scholar
  49. 49.
    A. Riscos-Núñez: Cellular Programming: Efficient Resolution of Numerical NP-Complete Problems. Ph.D. Thesis, University of Seville, 2004.Google Scholar
  50. 50.
    Y. Suzuki, H. Tanaka: On a LISP Implementation of a Class of P Systems. Romanian Journal of Information Science and Technology, 3,2 (2000), 173–186.Google Scholar
  51. 51.
    Y. Suzuki, Y. Fujiwara, H. Tanaka, J. Takabayashi: Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Multiset Processing. Mathematical, Computer Science and Molecular Computing Points of View, LNCS 2235, Springer, Berlin, 2001 [17], 299–346.Google Scholar
  52. 52.
    A. Syropoulos, E.G. Mamatas, P.C. Allilomes, K.T. Sotiriades: A Distributed Simulation of Transition P Systems. In Gh. Păun, G. Rozenberg, A. Salomaa, eds.: Membrane Computing. International Workshop WMC2003, Tarragona, Spain, 2003. Revised Papers. LNCS 2933, Springer, Berlin, 2004 [34], 357–368.Google Scholar
  53. 53.
    http://research.araneous.comGoogle Scholar
  54. 54.
    http://www.lpsi.eui.upm.es/nncg/Google Scholar
  55. 55.
    http://psystems.disco.unimib.it/Google Scholar
  56. 56.
    http://www.di.univr.itGoogle Scholar
  57. 57.
    http://www.gcn.us.esGoogle Scholar
  58. 58.
    http://www.teuscher.ch/psystemsGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Miguel Angel Gutiérrez-Naranjo
    • 1
  • Mario J. Pérez-Jiménez
    • 1
  • Agustín Riscos-Núñez
    • 1
  1. 1.Research Group on Natural Computing Department of Computer Science and Artificial IntelligenceUniversity of SevillaSevillaSpain

Personalised recommendations