Available Membrane Computing Software

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.

[1]  Hagit Attiya,et al.  Distributed Computing: Fundamentals, Simulations and Advanced Topics , 1998 .

[2]  Mario de Jesús Pérez Jiménez,et al.  A CLIPS Simulator for Recognizer P Systems with Active Membranes , 2004 .

[3]  Apostolos Syropoulos,et al.  A Distributed Simulation of Transition P Systems , 2003, Workshop on Membrane Computing.

[4]  Ioan I. Ardelean,et al.  Modeling Respiration in Bacteria and Respiration/Photosynthesis Interaction in Cyanobacteria Using a P System Simulator , 2006, Applications of Membrane Computing.

[5]  Artiom Alhazov.  Maximally Parallel multiset-rewriting systems: Browsing the Configurations , 2005 .

[6]  Matteo Cavaliere.  Evolution-Communication P Systems , 2002, WMC-CdeA.

[7]  Christof Teuscher,et al.  A Hardware Membrane System , 2003 .

[8]  Hiroshi Tanaka,et al.  Artificial Life Applications of a Class of P Systems: Abstract Rewriting Systems on Multisets , 2000, WMP.

[9]  Rudolf Freund,et al.  Implementation of Catalytic P Systems , 2004, CIAA.

[10]  Nepomuceno Chamorro,et al.  A Java Simulator for Basic Transition P Systems , 2004 .

[11]  Mario J. Pérez-Jiménez,et al.  A Formalization of Transition P Systems , 2002, Fundam. Informaticae.

[12]  Gabriel Ciobanu,et al.  P Systems Running on a Cluster of Computers , 2003, Workshop on Membrane Computing.

[13]  B. Petreska,et al.  A Reconfigurable Hardware Membrane System. In C. Martin-Vide, G. Mauri, G. Paun, G. Rozenberg, and A. Salomaa (Eds.) , 2004 .

[14]  V. Manca.  On the Dynamics of P Systems , 2004 .

[15]  Fernando Arroyo,et al.  Structures and Bio-language to Simulate Transition P Systems on Digital Computers , 2000, WMP.

[16]  Mario J. Pérez-Jiménez,et al.  On Descriptive Complexity of P Systems , 2004, Workshop on Membrane Computing.

[17]  Gheorghe Paun.  P Systems with Active Membranes: Attacking NP-Complete Problems , 2001, J. Autom. Lang. Comb..

[18]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.

[19]  Mario J. Pérez-Jiménez,et al.  Cellular Solutions to Some Numerical NP-Complete Problems: A Prolog Implementation , 2005 .

[20]  Ioan I. Ardelean,et al.  Modelling biological processes by using a probabilistic P system software , 2004, Natural Computing.

[21]  Artiom Alhazov,et al.  Communicative P Systems with Minimal Cooperation , 2004, Workshop on Membrane Computing.

[22]  Dan V. Nicolau,et al.  A C Library for Simulating P Systems , 2002, Fundam. Informaticae.

[23]  Mario J. Pérez-Jiménez,et al.  A fast P system for finding a balanced 2-partition , 2005, Soft Comput..

[24]  Fernando Arroyo,et al.  Towards an Electronic Implementation of Membrane Computing: A Formal Description of Non-deterministic Evolution in Transition P Systems , 2001, DNA.

[25]  Pierluigi Frisco.  About P systems with symport/antiport , 2005, Soft Comput..

[26]  Mario J. Pérez-Jiménez,et al.  Implementing in Prolog an Effective Cellular Solution to the Knapsack Problem , 2003, Workshop on Membrane Computing.

[27]  Giancarlo Mauri,et al.  Membrane Computing, 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers , 2005, Workshop on Membrane Computing.

[28]  Gheorghe Paun,et al.  Computing with Membranes , 2000, J. Comput. Syst. Sci..

[29]  Fernando Arroyo,et al.  A Software Simulation of Transition P Systems in Haskell , 2002, WMC-CdeA.

[30]  Gabriel Ciobanu,et al.  P System Software Simulator , 2002, Fundam. Informaticae.

[31]  Mario J. Pérez-Jiménez,et al.  A MzScheme Implementation of Transition P Systems , 2002, WMC-CdeA.