A hybrid approach to modeling biological systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4860 LNCS, Issue , 2007, Pages 138-159

  Bernardini, Francesco ^a   Gheorghe, Marian ^b   Romero Campero, Francisco José ^c   Walkinshaw, Neil ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b UNIVERSITY OF SHEFFIELD   (United Kingdom)

^c UNIVERSITY OF SEVILLE   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; MODEL CHECKING; MOLECULAR INTERACTIONS; PROBABILISTIC LOGICS; REVERSE ENGINEERING;

PROBABILISTIC MODEL CHECKERS;

BIOLOGICAL SYSTEMS;

EID: 38549104046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-77312-2_9     Document Type: Conference Paper

References (30)

1. Bianco, L., Fontana, F.: Towards a Hybrid Metabolic Algorithm. In: Hoogeboom, HJ., Pǎun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 183-196. Springer, Heidelberg (2006)
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)
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)
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)
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)
6. Fontana, F., Bianco, I., 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)
7. Fontana, F., Manca, V.: Discrete Solutions of Differential Equations by Metabolic P Systems. Theoretical Computer Science 372(2-3), 165-182 (2007)
8. Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry 81(25), 2340-2361 (1977)
9. Girault, C., Valk, R.: Petri Nets for Systems Engineering. Springer, Heidelberg (2003)
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)
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)
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)
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)
14. Kennell, D., Riezman, H.: Transcription and Translation Initiation Frequencies of the Escherichia Coli Lac Operon. J. Mol. Biol. 114, 1-21 (1977)
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)
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)
17. Milner, R.: Communication and Mobile Systems: The π-calculus. Cambridge University Press, Cambridge (1999)
18. Pǎun, G.: Computing with Membranes. Journal of Computer and System Sciences 61(1), 108-143 (2000)
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)
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)
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)
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)
23. Reisig, W.: Elements of Distributed Algorithms, modeling and Analysis with Petri Nets. Springer, Heidelberg (1998)
24. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491. Springer, Heidelberg (1998)
25. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications. LNCS, vol. 1492. Springer, Heidelberg (1998)
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)
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)
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)
29. Platform Independent Petri Net Editor: http://pipe2.sourceforge.net
30. P System Simulator: http://www.dcs.shef.ac.uk/~marian/PSimulatorWeb/ PSystemMF. htm