Skip to main content
SpringerLink
Log in

A Hybrid Approach to Modeling Biological 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:

Abstract

This paper investigates a hybrid approach to modeling molecular interactions in biology. P systems, π-calculus, and Petri nets models, and two tools, Daikon, used in software reverse-engineering, and PRISM, a probabilistic model checker, are investigated for their expressiveness and complementary roles in describing and analyzing biological systems. A simple case study illustrates this approach.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

  2. Blundell, M., Kennell, D.: Evidence for Endonucleolytic Attack in Decay of Lac Messenger RNA in Escherichia Coli. J. Mol. Biol. 83, 143–161 (1974)

    Article  Google Scholar 

  3. Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways Using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 44–67. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  4. Dal Zilio, S., Formenti, E.: On the Dynamics of PB Systems: A Petri Net View. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) Membrane Computing. LNCS, vol. 2933, pp. 153–167. Springer, Heidelberg (2004)

    Google Scholar 

  5. Ernst, M., Cockrell, J., Griswold, W., Notkin, D.: Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Transactions on Software Engineering 27(2), 99–123 (2001)

    Article  Google Scholar 

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

  7. Fontana, F., Manca, V.: Discrete Solutions of Differential Equations by Metabolic P Systems. Theoretical Computer Science 372(2-3), 165–182 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  8. Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 81(25), 2340–2361 (1977)

    Article  Google Scholar 

  9. Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003)

    Google Scholar 

  10. Goss, P.J.E., Peccoud, J.: Quantitative Modeling of Stochastic Systems in Molecular Biology using Stochastic Petri Nets. Proc. Natl. Acad. Sci. USA 95, 6750–6755 (1999)

    Article  Google Scholar 

  11. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn: Probabilistic Model Checking of Complex Biological Pathways. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 32–47. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  12. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  13. Hlavacek, S., Savageau, M.A.: Subunit Structure of Regulator Proteins Influences the Design of Gene Circuitry Analysis of Perfectly Coupled and Uncoupled Circuits. J. Mol. Biol. 248, 739–755 (1995)

    Article  Google Scholar 

  14. Kennell, D., Riezman, H.: Transcription and Translation Initiation Frequencies of the Escherichia Coli Lac Operon. J. Mol. Biol. 114, 1–21 (1977)

    Article  Google Scholar 

  15. Kleijn, K., Koutny, K.: Synchrony and Asynchrony in Membrane Systems. In: Hoogeboom, H.J., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 66–85. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  16. Kleijn, K., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 292–309. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Milner, R.: Communication and Mobile Systems: The π-calculus. Cambridge University Press, Cambridge (1999)

    Google Scholar 

  18. Păun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MathSciNet  Google Scholar 

  19. Pérez-Jiménez, M.J., Romero-Campero, F.J.: P Systems, a New Computationl modeling 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 

  20. Pérez-Jiménez, M.J., Romero-Campero, F.J.: Modeling Gene Expression Control Using P Systems: The Lac Operon, A Case Study (submitted, 2007)

    Google Scholar 

  21. Pescini, D., Besozzi, D., Mauri, C., Zandron, C.: Dynamical Probabilistic P systems. International Journal of Foundations of Computer Science 17(1), 183–204 (2007)

    Article  MathSciNet  Google Scholar 

  22. Reddy, V.N., Liebman, M.N., Mavrouniotis, M.L.: Qualitative Analysis of Biochemical Reaction Systems. Computers in Biology & Medicine 26(1), 9–24 (1996)

    Article  Google Scholar 

  23. Reisig, W.: Elements of Distributed Algorithms, modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  24. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491. Springer, Heidelberg (1998)

    MATH  Google Scholar 

  25. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. LNCS, vol. 1492. Springer, Heidelberg (1998)

    Google Scholar 

  26. Romero-Campero, F.J., Gheorghe, M., Ciobanu, G., Auld, J.M., Pérez-Jiménez, M.J.: Cellular modeling Using P Systems and Process Algebra. Progress in Natural Science 17(4), 375–383 (2007)

    MathSciNet  Google Scholar 

  27. Romero-Campero, F.J., Pérez-Jiménez, M.J.: A Model of the Quorum Sensing System in Vibrio Fischeri Using P Systems (submitted, 2007)

    Google Scholar 

  28. Regev, A., Shapiro, E.: The π-calculus as an Abstraction for Biomolecular Systems. In: Ciobanu, G., Rozenberg, G. (eds.) Modeling in Molecular Biology, Springer, Heidelberg (2007)

    Google Scholar 

  29. Platform Independent Petri Net Editor: http://pipe2.sourceforge.net

  30. P System Simulator: http://www.dcs.shef.ac.uk/~marian/PSimulatorWeb/PSystemMF.htm

Download references

Author information

Authors and Affiliations

  1. Leiden Institute of Advanced Computer Science, University of Leiden, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands

    Francesco Bernardini

  2. Department of Computer Science, University of Sheffield, Regent Court, Portobello Street, Sheffield S1 4DP, UK

    Marian Gheorghe & Neil Walkinshaw

  3. Research Group on Natural Computing, Department of Computer Science and, Artificial Intelligence, University of Sevilla, Avda. Reina Mercedes s/n, 41012, Sevilla, Spain

    Francisco José Romero-Campero

Authors
  1. Francesco Bernardini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Francisco José Romero-Campero
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Neil Walkinshaw
    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

Bernardini, F., Gheorghe, M., Romero-Campero, F.J., Walkinshaw, N. (2007). A Hybrid Approach to Modeling Biological 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_9

Download citation

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

  • 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

Search

Navigation