Psim: A Computational Platform for Metabolic P Systems

Although born as unconventional models of computation, P systems can be conveniently adopted as modeling frameworks for biological systems simulations. This choice brings with it the advantage of producing easier to be devised and understood models than with other formalisms. Nevertheless, the employment of P systems for modeling purposes demands biologically meaningful evolution strategies as well as complete computational tools to run simulations on. In previous papers a strategy of evolution known as the metabolic algorithm has been presented; here a simulation tool called Psim (current version 2.4) is discussed and a case study of its application is also given.

[1]  Florent Jacquemard,et al.  An Analysis of a Public Key Protocol with Membranes , 2005 .

[2]  Vincenzo Manca,et al.  The metabolic algorithm for P systems: Principles and applications , 2008, Theor. Comput. Sci..

[3]  Marian Gheorghe,et al.  On P Systems as a Modelling Tool for Biological Systems , 2005, Workshop on Membrane Computing.

[4]  Vincenzo Manca,et al.  P systems with reaction maps , 2006, Int. J. Found. Comput. Sci..

[5]  J. Keizer.  Biochemical Oscillations and Cellular Rhythms: The molecular bases of periodic and chaotic behaviour, by Albert Goldbeter , 1998 .

[6]  Luca Cardelli,et al.  Mobile Ambients , 1998, FoSSaCS.

[7]  H. Lodish.  Molecular Cell Biology , 1986 .

[8]  Vincenzo Manca,et al.  Evolution and Oscillation in P Systems: Applications to Biological Phenomena , 2004, Workshop on Membrane Computing.

[9]  Vincenzo Manca,et al.  Reaction-Driven Membrane Systems , 2005, ICNC.

[10]  Vincenzo Manca.  Topics and Problems in Metabolic P Systems , 2006 .

[11]  A. Goldbeter,et al.  Biochemical Oscillations And Cellular Rhythms: Contents , 1996 .

[12]  Vincenzo Manca,et al.  A Membrane System for the Leukocyte Selective Recruitment , 2003, Workshop on Membrane Computing.

[13]  Vincenzo Manca.  Metabolic P systems for biochemical dynamics , 2007 .

[14]  Yew-Soon Ong,et al.  Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I , 2005, ICNC.

[15]  Vincenzo Manca,et al.  Encoding-Decoding Transitional Systems for Classes of P Systems , 2005, Workshop on Membrane Computing.

[16]  Hartmut Ehrig,et al.  An Algebraic View on Petri Nets , 1997, Bull. EATCS.

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

[18]  Vincenzo Manca.  Metabolic Dynamics by MP Systems , 2007 .

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

[20]  Corrado Priami,et al.  Transactions on Computational Systems Biology VI , 2006, Trans. Computational Systems Biology.

[21]  Vincenzo Manca,et al.  Dynamical aspects of P systems. , 2003, Bio Systems.

[22]  Mario J. Pérez-Jiménez,et al.  P Systems, a New Computational Modelling Tool for Systems Biology , 2006, Trans. Comp. Sys. Biology.

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

[24]  Giancarlo Mauri,et al.  Dynamical probabilistic P systems , 2006, Int. J. Found. Comput. Sci..

[25]  Luca Bianco,et al.  Towards a Hybrid Metabolic Algorithm , 2006, Workshop on Membrane Computing.

[26]  Vincenzo Manca.  Discrete Simulations of Biochemical Dynamics , 2007, DNA.

[27]  S. Wolfe.  The Biology of the Cell , 1981 .

[28]  A Goldbeter,et al.  A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase. , 1991, Proceedings of the National Academy of Sciences of the United States of America.

[29]  Vincenzo Manca,et al.  P Systems and the Modeling of Biochemical Oscillations , 2005, Workshop on Membrane Computing.

[30]  Robin Milner,et al.  Theories for the Global Ubiquitous Computer , 2004, FoSSaCS.

[31]  Bianco Luca,et al.  Membrane models of biological systems , 2007 .

[32]  Andrei Paun,et al.  The power of communication: P systems with symport/antiport , 2002, New Generation Computing.

[33]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

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

[35]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[36]  Vincenzo Manca,et al.  Biological networks in metabolic P systems , 2008, Biosyst..

[37]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[38]  Vincenzo Manca,et al.  P Systems for Biological Dynamics , 2006, Applications of Membrane Computing.

[39]  Vincenzo Manca,et al.  Evolutions and Oscillations of P Systems: Theorethical Considerations and Applications to Biochemical Phenomena , 2006 .

[40]  Gheorghe Paun,et al.  P systems with energy accounting , 2001, Int. J. Comput. Math..

[41]  Giancarlo Mauri,et al.  Investigating local evolutions in dynamical probabilistic P systems , 2005, Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'05).

[42]  Carlos Martín-Vide,et al.  Membrane systems with carriers , 2002, Theor. Comput. Sci..

[43]  Vincenzo Manca,et al.  Predator-prey dynamics in P systems ruled by metabolic algorithm , 2008, Biosyst..

[44]  Vincenzo Manca,et al.  Discrete solutions to differential equations by metabolic P systems , 2007, Theor. Comput. Sci..