Psim: A Computational Platform for Metabolic P Systems

  • Luca Bianco
  • Alberto Castellini
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4860)


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.


Computational Platform Type Node Simulation Engine Reaction Unit Reactivity Node 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Biology of the Cell, 4th edn. Garland Science, New York (2002)Google Scholar
  2. 2.
    Bernardini, F., Gheorghe, M., Krasnogor, N., Muniyandi, R.C., Pérez-Jiménez, M.J., Romero-Campero, F.J.: On P systems as a modelling tool for biological systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 193–213. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Bernardini, F., Manca, V.: Dynamical aspects of P systems. BioSystems 70, 85–93 (2002)CrossRefGoogle Scholar
  4. 4.
    Bianco, L.: Membrane Models of Biological Systems. PhD thesis, Verona University (2007)Google Scholar
  5. 5.
    Bianco, L., Fontana, F.: Towards a hybrid metabolic algorithm. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 183–196. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Bianco, L., Fontana, F., Franco, G., Manca, V.: P systems for biological dynamics. In: Ciobanu, G., Păun, G., Pérez-Jiménez, M.J. (eds.) Applications of Membrane Computing, Springer, Heidelberg (2006)Google Scholar
  7. 7.
    Bianco, L., Fontana, F., Manca, V.: Reaction-driven membrane systems. In: Wang, L., Chen, K., Ong, Y.S. (eds.) ICNC 2005. LNCS, vol. 3611, pp. 1155–1158. Springer, Heidelberg (2005)Google Scholar
  8. 8.
    Bianco, L., Fontana, F., Manca, V.: P systems with reation maps. International Journal of Fondations of Computer Science 16(1) (2006)Google Scholar
  9. 9.
    Bianco, L., Manca, V.: Encoding-decoding transitional systems for classes of P systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 135–144. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  10. 10.
    Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, pp. 140–155. Springer, Heidelberg (1998)CrossRefGoogle Scholar
  11. 11.
    Cavaliere, M.: Evolution-communication P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) Membrane Computing. LNCS, vol. 2597, pp. 134–145. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  12. 12.
    Fontana, F., Bianco, L., Manca, V.: P systems and the modeling of biochemical oscillations. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 199–208. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  13. 13.
    Fontana, F., Manca, V.: Discrete solution of differential equations by metabolic P systems. TCS (submitted)Google Scholar
  14. 14.
    Fontana, F., Manca, V.: Predator-prey dynamics in P dystems ruled by metabolic algorithm. BioSystems (accepted)Google Scholar
  15. 15.
    The Center for BioMedical Computing Web Site. Url:
  16. 16.
    Franco, G., Manca, V.: A membrane system for the leukocyte selective recruitment. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol. 2933, pp. 180–189. Springer, Heidelberg (2004)Google Scholar
  17. 17.
    Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2005. LNCS, vol. 3850, pp. 18–21. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  18. 18.
    Goldbeter, A.: A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase. PNAS 88(20), 9107–9111 (1991)CrossRefGoogle Scholar
  19. 19.
    Goldbeter, A.: Biochemical Oscillations and Cellular Rhythms. The Molecular Bases of Periodic and Chaotic Behaviour. Cambridge University Press, New York (2004)Google Scholar
  20. 20.
    Lodish, H.F., Berk, A., Matsudaira, P., Kaiser, C., Krieger, M., Scott, M., Zipursky, L., Darnell, J.E.: Molecular Cell Biology, 5th edn. Scientific American Press, New York (2004)Google Scholar
  21. 21.
    Manca, V.: Topics and problems in metabolic P systems. In: BWMC4. Proc. of the Fourth Brainstorming Week on Membrane Computing (2006)Google Scholar
  22. 22.
    Manca, V.: Discrete simulations of biochemical dynamics. In: Garzon, M., Yan, H. (eds.) Preliminary proceedings of the 13th International Meeting on DNA Computing, June 4-8, 2007, University of Memphis, Memphis, USA (2007)Google Scholar
  23. 23.
    Manca, V.: Metabolic dynamics by MP systems. In: InterLink ERCIM Workshop, Eze, France (May 10-12, 2007)Google Scholar
  24. 24.
    Manca, V.: Metabolic P systems for biochemical dynamics. Progress in Natural Sciences, Invited Paper (2007)Google Scholar
  25. 25.
    Manca, V.: The metabolic algorithm for P systems principles and applications. Theoretical Computer Science (to appear, 2007)Google Scholar
  26. 26.
    Manca, V., Bianco, L.: Biological networks in metabolic P systems. BioSystems (to appear, 2007)Google Scholar
  27. 27.
    Manca, V., Bianco, L., Fontana, F.: Evolutions and oscillations of P systems: Theoretical considerations and applications to biochemical phenomena. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 63–84. Springer, Heidelberg (2005)Google Scholar
  28. 28.
    Martin-Vide, C., Păun, G., Rozenberg, G.: Membrane systems with carriers. Theoretical Computer Science 270, 779–796 (2002)zbMATHCrossRefMathSciNetGoogle Scholar
  29. 29.
    Milner, R.: Communicating and Mobile Systems: The π Calculus. Cambridge University Press, Cambridge, England (1999)zbMATHGoogle Scholar
  30. 30.
    Pérez-Jiménez, M.J., Romero-Campero, F.J.: P systems: a new computational modelling tool for systems biology. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 176–197. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  31. 31.
    Pescini, D., Besozzi, D., Mauri, G.: Investigating local evolutions in dynamical probabilistic p systems. In: Ciobanu, G., Păun, G. (eds.) Pre-Proc. of First International Workshop on Theory and Application of P Systems, Timisoara, Romania, pp. 83–90 (September 26-27, 2005)Google Scholar
  32. 32.
    Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P systems. Inter. Journal of Foundations of Computer Science 17(1), 183 (2006)zbMATHCrossRefMathSciNetGoogle Scholar
  33. 33.
    Păun, A., Păun, G.: The power of communication: P systems with symport/antiport. New Generation Computing 20(3), 295–306 (2002)CrossRefzbMATHGoogle Scholar
  34. 34.
    Păun, G.: Computing with membranes. J. Comput. System Sci. 61(1), 108–143 (2000)CrossRefMathSciNetzbMATHGoogle Scholar
  35. 35.
    Păun, G.: P systems with active membranes: Attacking NP-complete problems. Journal of Automata, Languages and Combinatorics 1(6), 75–90 (2001)Google Scholar
  36. 36.
    Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)zbMATHGoogle Scholar
  37. 37.
    Păun, G., Suzuki, Y., Tanaka, H.: P systems with energy accounting. Int. J. Computer Math. 78(3), 343–364 (2001)zbMATHGoogle Scholar
  38. 38.
    Reisig, W.: Petri Nets, An Introduction. EATCS, Monographs on Theoretical Computer Science (1985)Google Scholar
  39. 39.
    The P Systems Web Site. Url:

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Luca Bianco
    • 1
  • Alberto Castellini
    • 2
  1. 1.Cranfield University, Cranfield Health, Silsoe, Bedfordshire, MK45 4DTUK
  2. 2.Verona University, Computer Science Department, Strada Le Grazie 35, 37134 VeronaItaly

Personalised recommendations