Skip to main content
Springer Nature Link
Log in

Psim: A Computational Platform for Metabolic P Systems

  • Conference paper
Membrane Computing (WMC 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4860))

Included in the following conference series:

  • 447 Accesses

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

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

    Chapter  Google Scholar 

  3. Bernardini, F., Manca, V.: Dynamical aspects of P systems. BioSystems 70, 85–93 (2002)

    Article  Google Scholar 

  4. Bianco, L.: Membrane Models of Biological Systems. PhD thesis, Verona University (2007)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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. 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. Bianco, L., Fontana, F., Manca, V.: P systems with reation maps. International Journal of Fondations of Computer Science 16(1) (2006)

    Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  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)

    Chapter  Google Scholar 

  13. Fontana, F., Manca, V.: Discrete solution of differential equations by metabolic P systems. TCS (submitted)

    Google Scholar 

  14. Fontana, F., Manca, V.: Predator-prey dynamics in P dystems ruled by metabolic algorithm. BioSystems (accepted)

    Google Scholar 

  15. The Center for BioMedical Computing Web Site. Url: http://www.cbmc.it

  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. Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2005. LNCS, vol. 3850, pp. 18–21. Springer, Heidelberg (2006)

    MATH  Google Scholar 

  18. Goldbeter, A.: A minimal cascade model for the mitotic oscillator involving cyclin and cdc2 kinase. PNAS 88(20), 9107–9111 (1991)

    Article  Google Scholar 

  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. 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. Manca, V.: Topics and problems in metabolic P systems. In: BWMC4. Proc. of the Fourth Brainstorming Week on Membrane Computing (2006)

    Google Scholar 

  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. Manca, V.: Metabolic dynamics by MP systems. In: InterLink ERCIM Workshop, Eze, France (May 10-12, 2007)

    Google Scholar 

  24. Manca, V.: Metabolic P systems for biochemical dynamics. Progress in Natural Sciences, Invited Paper (2007)

    Google Scholar 

  25. Manca, V.: The metabolic algorithm for P systems principles and applications. Theoretical Computer Science (to appear, 2007)

    Google Scholar 

  26. Manca, V., Bianco, L.: Biological networks in metabolic P systems. BioSystems (to appear, 2007)

    Google Scholar 

  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. Martin-Vide, C., Păun, G., Rozenberg, G.: Membrane systems with carriers. Theoretical Computer Science 270, 779–796 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  29. Milner, R.: Communicating and Mobile Systems: The π Calculus. Cambridge University Press, Cambridge, England (1999)

    MATH  Google Scholar 

  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)

    Chapter  Google Scholar 

  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. Pescini, D., Besozzi, D., Mauri, G., Zandron, C.: Dynamical probabilistic P systems. Inter. Journal of Foundations of Computer Science 17(1), 183 (2006)

    Article  MATH  MathSciNet  Google Scholar 

  33. Păun, A., Păun, G.: The power of communication: P systems with symport/antiport. New Generation Computing 20(3), 295–306 (2002)

    Article  MATH  Google Scholar 

  34. Păun, G.: Computing with membranes. J. Comput. System Sci. 61(1), 108–143 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  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. Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)

    MATH  Google Scholar 

  37. Păun, G., Suzuki, Y., Tanaka, H.: P systems with energy accounting. Int. J. Computer Math. 78(3), 343–364 (2001)

    MATH  Google Scholar 

  38. Reisig, W.: Petri Nets, An Introduction. EATCS, Monographs on Theoretical Computer Science (1985)

    Google Scholar 

  39. The P Systems Web Site. Url: http://psystems.disco.unimib.it

Download references

Author information

Authors and Affiliations

  1. Cranfield University, Cranfield Health, Silsoe, Bedfordshire, MK45 4DT, UK

    Luca Bianco

  2. Verona University, Computer Science Department, Strada Le Grazie 35, 37134 Verona, Italy

    Alberto Castellini

Authors
  1. Luca Bianco
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alberto Castellini
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

George Eleftherakis Petros Kefalas Gheorghe Păun Grzegorz Rozenberg Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bianco, L., Castellini, A. (2007). Psim: A Computational Platform for Metabolic P Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2007. Lecture Notes in Computer Science, vol 4860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77312-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-77312-2_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-77311-5

  • Online ISBN: 978-3-540-77312-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics