Discrete event multi-level models for systems biology

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

Volumn 3380 LNBI, Issue , 2005, Pages 66-89

  Uhrmacher, Adelinde M ^a   Degenring, Daniela ^a   Zeigler, Bernard ^b  

^a UNIVERSITY OF ROSTOCK   (Germany)

^b UNIVERSITY OF ARIZONA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL SYSTEMS; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; STOCHASTIC CONTROL SYSTEMS;

DISCRETE-EVENT SEMI-QUANTITATIVE MULTI-LEVEL MODELS; DIVERSE MODELING; MULTI-LEVEL MODELS;

DATA STRUCTURES;

EID: 34250353856     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-32126-2_6     Document Type: Article

References (117)

1. Kitano, H.: Systems Biology: A Brief Overview. Science 295 (2002) 1662-1664
2. Wolkenhauer, O.: Systems biology: the reincarnation of systems theory applied in the biology? Briefings in Bioinformatics 2 (2001) 258-270
3. Chabrier-Rivier, N., Fages, F., Soliman, S.: The Biochemical Abstract Machine Biocham. In: Proceedings of the 2nd International Workshop on Computational Methods in Systems Biology. (2004)
4. Hucka, M., Finney, A., Sauro, H., Bolouri, H.: The erato systems biology workbench: Architectural evolution. In Yi, T.M., Hucka, M., Morohashi, M., Kitano, H., eds.: The Proceedings of the 2nd International Conference on Systems Biology. (2001)
5. Hucka, M., Finney, A., Sauro, H.M., Bolouri, H., Doyle, J.C., Kitano, H., Arkin, A., Bornstein, B.J., Bray, D., Cornish-Bowden, A., Cuellar, A.A., Dronov, S., Gilles, E.D., Ginkel, M., Gor, V., Goryanin, I.I., Hedley, W.J., Hodgman, T., Hofmeyr, J.H., Hunter, P.J., Juty, N., Kasberger, J.L., Kremling, A., Kummer, U., Le Novere, N., Loew, L.M., Lucio, D., Mendes, P., Minch, E., Mjolsness, E.D., Nakayama, Y., Nelson, M.R., Nielsen, P.F., Sakurada, T., Schaff, J.C., Shapiro, B., Shimizu, T.S., Spence, H.D., Stelling, J., Takahashi, K., Tomita, M., Wagner, J., Wang, J.: The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models. Bioinformatics 19 (2003) 524-531
6. Cuellar, A., Lloyd, C., Nielsen, P., Bullivant, D., Nickerson, D., Hunter, P.: An overview of CellML: 1.1, A Biological Model Description Language. Simulation -Transactions of the SCS 79 (2003) 740-747
7. Domach, M.M., Leung, S.K., Cahn, R.E., Cocks, G.G., Shuler, M.L.: Computer model for glucose-limited growth of a single cell of Escherchia coli B/r-A. Biotechnology and Bioengineering 26 (1984) 203-216
8. Teusink, B., Passarge, J., Reijenga, C.A., Esgalhado, E., van der Weijden, C.C., Schepper, M., Walsh, M.C., Bakker, B.M., van Dam, B., van Dam, K., Westerhoff, H.V., Snoep, J.L.: Can yeast glycolysis be understood in terms of in vitro kinetics of the constituent enzymes? Testing biochemistry. European Journal of Biochemistry 267 (2000) 5313-5329
9. Hynne, F., Donø, S., Sørenson, P.G.: Full-scale model of glycolysis in Saccharomyces cerevisiae. Biophysical Chemistry 94 (2001) 121-163
10. Santillán, M., Mackey, M.C.: Dynamic regulation of the tryptophan operon: A modeling study an comparison with experimental data. Proceedings of the National Academy of Sciences of the USA 98 (2001) 1364-1369
11. Reddy, V.N., Liebman, M.N., Mavrovouniotis, M.L.: Qualitative analysis of biochemical reaction systems. Computers in Biology and Medicine 26 (1996) 9-24
12. Xia, X.Q., Wise, M.J.: DiMSim: A Discrete-Event Simulator of Metabolic Networks. Journal of Chemical Information and Computer Science 43 (2003) 1011-1019
13. Jones, M.E., Berry, M.N., Phillips, J.W.: Futile Cycles Revisited: A Markov Chain Model of Simultaneous Glycolysis and Gluconeogenesis. Journal of Theoretical Biology 217 (2002) 509-523
14. Arkin, A., Ross, J.: Computational functions in biochemical reaction networks. Biophysical Journal 67 (1994) 560-578
15. Hjemfelt, A., Ross, J.: Implementation of logic functions and computations by chemical kinetics. Physica D 84 (1995) 180-193
16. Bentele, M., Eils, R.: General stochastic hybrid method for the simulation of chemical reaction processes in cells. In: Proceedings of the 2nd International Workshop on Computational Methods in Systems Biology. (2004)
17. Zeigler, B., Praehofer, H., T.G., K.: Theory of Modeling and Simulation. Academic Press, London (2000)
18. Heylighen, F. In: Downward Causation. Principia Cybernetica Web, http://pespmcl.vub.ac.be/DOWNCAUS.html (access date: 12.05.2004)
19. Bunge, M.: Ontology II: A World of Systems. Volume 4 of Treatise of Basic Philosophy. Reidel, Dordrecht (1979)
20. Campbell, D.: Downward causation in Hierarchically Organized Biological Systems. In Ayala, F., Dobzhanzky, J., eds.: Studies in the Philosophy of Biology. University of California Press, Berkeley (1974) 179-186
21. Salthe, S.: Evolving Hierarchical Systems. Columbia University Press (1985)
22. Strohmann, R.: Organization becomes cause in the matter. Nature Biotechnology 18 (2000) 575-576
23. Whitesides, G., Boncheva, M.: Beyond molecules: Self-assembly of mesoscopic and macroscopic components. PNAS 99 (2002) 4769-4774
24. Hartwell, L.H., Hopfield, J.J., Leibler, S., Murray, A.W.: From molecular to modular cell biology. Nature 402 (1999) C47-C52
25. Vilar, J.M.G., Guet, C.C., Leibler, S.: Modeling network dynamics: the lac operon, a case study. The Journal of Cell Biology 161 (2003) 471-476
26. Kremling, A., Jahreis, K., Lengeler, J.W., Gilles, E.D.: The Organization of Metabolic Reaction Networks: A Signal Oriented Approach to Cellular Models. Metabolic Engineering 2 (2000) 190-200
27. Kremling, A., Gilles, E.D.: The Organization of Metabolic Reaction Networks II. Signal Processing in Hierarchical Structured Functional Units. Metabolic Engineering 3 (2001) 138-150
28. Kremling, A., Bettenbrock, K., Laube, B., Jahreis, K., Lengeler, J.W., Gilles, E.D.: The Organization of Metabolic Reaction Networks: III. Application for Diauxic Growth on Glucose and Lactose. Metabolic Engineering 3 (2001) 362-379
29. Degenring, D., Röhl, M., Uhrmacher, A.: Discrete Event, Multi-Level Simulation of Metabolite Channeling. BioSystems 75 (2004) 29-41
30. Minsky, M.: Models, Minds, Machines. In: Proc. IFIP Congress. (1965) 45-49
31. Cellier, F.E.: Continuous System Modeling. Springer, New York (1992)
32. de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology 9 (2002) 67-103
33. Mendes, P.: GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems. Computer Applications in the Biosciences 9 (1993) 563-571
34. Ginkel, M., A., K., Nutsch, T., Rehner, R., Gilles, E.: Modular modeling of cellular systems with ProMoT/Diva. Bioinformatics 19 (2003) 1169-1176
35. Sauro, H.: Jarnac: A system for interactive metabolic analysis. In: Animating the cellular map: Proceedings of the 9th International Meeting on BioThermoKinetics, Stellenbosch University Press (2000)
36. Goryanin, I., Hodgman, T., Selkov, E.: Mathematical simulation and analysis of cellular metabolism and regulation. Bioinformatics 15 (1999) 749-758
37. Shapiro, B.E., Levchenko, A., Meyerowitz, E.M., Wold, B.J., Mjolsness, E.D.: Cellerator: extending a computer algebra system to include biochemical arrows for signal transduction simulations. Bioinformatics 19 (2003) 677-678
38. Fuss, H.: Simulation of Biological Systems with PetriNets - Introduction to Modelling of Distributed Systems. In Moller, D., ed.: Advances in System Analysis. Vieweg, Braunschweig, Wiesbaden (1987) 1-12
39. Goss, P., Peccoud, J.: Biochemistry Quantitative Modeling of Stochastic Systems in Molecular Biology by Using Stochastic Petri Nets. Proceedings of National Academy of Sciences of the USA 95 (1998) 6750-6755
40. Zeigler, B.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)
41. Petri Nets World. http://www.daimi.au.dk/PetriNets/ (access date: 08.11.2004)
42. Milner, K.: Communicating and Mobile Systems: The π Calculus. Cambridge University Press (1999)
43. Priami, C.: The Stochastic pi-Calculus. The Computer Journal 38 (1995) 578-589
44. Zeigler, B.: A Note on System Modelling, Aggregation and Reductionism. J. of Biomedical Computing 2 (1971) 277-280
45. Uhrmacher, A.: Dynamic Structures in Modeling and Simulation - A Reflective Approach. ACM Transactions on Modeling and Simulation 11 (2001) 206-232
46. Uhrmacher, A.M.: Reasoning about Changing Structure: A Modeling Concept for Ecological Systems. International Journal on Applied Artificial Intelligence 9 (1995) 157-180
47. Kam, N., Harel, D., Kugler, H., Marelly, R., Pnueli, A., Hubbard, E., Stern, M.: Formal Modelling of C. elegans Development: A Scenario Based Approach. In C., P., ed.: Computational Methods in Systems Biology. Volume 2602 of Lecture Notes in Computer Science., Springer Verlag Heidelberg (2003) 3-20
48. Borland, S., Vangheluwe, H.: Transforming Statecharts to DEVS. In: Summer Computer Simulation Conference. (2003) 154-159
49. Danos, V., Laneve, C., eds.: BioConcur - Workshop on Concurrent Models in Molecular Biology, Electronic Notes in Theoretical Computer Science (2003)
50. Kuttler, C., Blossey, R., Niehren, J.: Gene Regulation in the Pi Caluculus: Modelling Cooperativity at the Lambda Switch. In: BioConcur 2004, Elsevier (2004)
51. Regev, A., Shapiro, E.: Cells as computation. Nature 419 (2002) 343 www.wisdom.weizmann.ac.il~ aviv.
52. Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Constantin, G.: Language Modelling and Simulation of Autoreactive Lymphocytes Recruitment in Inflamed Brain Vessels. SCS Simulation (Submitted)
53. Van Gend, K., U., K.: STODE - Automatic Stochastic Simulation of Systems Described by [differential equations. In Yi, T.M., Hucka, M., Morohasi, M., Kitano, H., eds.: Proceedings of the 2nd International Conference on Systems Biology, Omnipress, Madison, USA (2001) 326-333
54. Philipps, A., Cardelli, L.: A correct abstract machine for the stochastic picalculus. In: Proc. of BIO-CONCUR'04. Electronic Notes in Theoretical Computer Science, Elsevier (2004)
55. Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science (2004)
56. Cardelli, L.: Brane Calculi. In: Proc. of BIO-CONCUR'03. Electronic Notes in Theoretcial Computer Science, Elsevier (2003)
57. Mc Collum, J., Cox, C., Simpson, M., Peterson, G.: Accelerating Gene Regulatory Network Modeling Using Grid-Based Simulation. Simulation - Transactions of the SCS (2004)
58. Danos, V., Pradalier, S.: Projective brane calculus. In: Proceedings of the 2nd International Workshop on Computational Methods in Systems Biology. (2004)
59. Zeigler, B.: Discrete Event Abstraction: An Emerging Paradigm For modeling complex adaptive systems. In Booker, L., ed.: Perspectives on Adaptation in Natural and Artificial Systems - Essays in Honor of John Holland,. Oxford University Press (2004)
60. Nutaro, J., Zeigler, B., Jammalamadaka, R., Akerkar, S.: Speeding-Up the Simulation of Continuous Systems with Parallel DEVS:A Gas Shock Wave Example. In Darema, F., ed.: Dynamic Data Driven Applications Systems. Academic Publishers (2004)
61. Chen, M., Hofestädt, R., Freier, A.: A Workable Approach for Modeling and Simulation of Biochemical Processes with Hybrid Petri Net System. In: 1st International MTBio Workshop on Function and Regulation of Cellular Systems: Experiments and Models, Dresden (2001)
62. Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S.: Towards biopathway modeling and simulation. In VanDerAalst, W., Best, E., eds.: Applications and Theory of Petri Nets. Volume 2679 of Lecture Notes in Computer Science. (2003) 3-22
63. Cho, K.H., Johansson, K., Wolkenhauer, O.: A Hybrid Systems Framework for Cellular Processes. submitted for publication (2004)
64. : Matlab Simulink. http://www.mathworks.com (access date: 08.11.2004)
65. Liu, J., Lee, E.: A component-based approach to modeling and simulating mixedsignal and hybrid systems. ACM Transactions on Modeling and Computer Simulation 12 (2002) 343-368
66. Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), IEEE Computer Society Press (1996) 278-292
67. Alur, R., Belta, C., Ivancic, F., Kumar, V., Rubin, H., Schug, J., Sokolsky, O., Webb, J.: Visual programming for modeling and simulation of biomolecular regulatory networks. In: International Conference on High Performance Computing. (2002)
68. Mishra, B., Policriti, A.: Systems Biology and Automata. In: 3rd Workshop on Computation of Biochemical Pathways and Genetic Networks, Heidelberg, Springer Verlag (2003)
69. Belta, C., Finin, P., Habets, L., Halasz, A., Irnieliniksi, M., Kumar, V., Rubin, H.: Understanding the bacterial stringent response using reachability analysis of hybrid systems. In: Lecture Notes in Computer Science. Volume 2993. Springer (2004)
70. Law, A., Kelton, W.: Simulation, Modeling, and Analysis. MCGraw Hill International Editions, New York (1991)
71. Rao, C.V., Wolf, D.M., Arkin, A.P.: Control, exploitation and tolerance of intracellular noise. Nature 420 (2002) 231-237
72. Fedoroff, N., Fontana, W.: Small Numbers of Big Molecules. Science 297 (2002) 1129-1131
73. Gibson, M.A., Bruck, J.: EfficientExact Stochastic Simulation of Chemical Systems with Many Species and Many Channels. Journal of Physical Chemistry A 104 (2000) 1876-1889
74. Gillespie, D.T.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. The Journal of Physical Chemistry B 22 (1976) 403-434
75. Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry B 81 (1977) 2340-2361
76. Kuo, D., Keasling, J.D.: A Monte Carlo simulation of plasmid replication during the bacterial division cycle. Biotechnology and Bioengineering 52 (1996) 633-647
77. Kierzek, A.M. : STOCKS: STOChastic Kinetic Simulations of biochemical systems with Gillespie algorithm. Bioinformatics 18 (2002) 470-481
78. Cowan, R.: Stochastic models for DNA replication. In Shanbhag, D., Rao, C., eds.: Stochastic Processes. Handbook of Statistics. (2003)
79. Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. The Journal of Chemical Physics 115 (2001) 1716-1733
80. Gillespie, D.T., Petzold, L.R.: Improved leap-size selection for accelerated stochastic simulation. The Journal of Chemical Physics 119 (2004) 8229-8234
81. Puchulka, J., Kierzek, A.M.: Bridging the Gap between Stochastic and Deterministic Regimes in the Kinetic Simulations of the Biochemical Reaction Networks. Biophysical Journal 86 (2004) 1357-1372
82. Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press (1994)
83. Heidtke, K.R., Schulze-Kremer, S.: Design and implementation of a qualitative simulation model of A phage infection. Bioinformatics 14 (1998) 81-91
84. Ideker, T., Lauffenburger, D.: Building with a scaffold: emerging strategies for high- to low-level cellular modeling. Trends in Biotechnology 21 (2003) 255-262
85. Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. I. structural conditions of multistationarity and other nontrivial behavior. Chaos 11 (2001) 170-179
86. Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos 11 (2001) 180-195
87. Tilly, C.: Micro, Macro, or Megrim? Paper for the Göttinger Gespräch zur Geschichtswissenschaft, Microhistory - Macrohistory: Complementary or Incommensurable ? (1997)
88. Knorr-Cetina, K., Cicourel, A., eds.: Advances in Social Theory and Methodology - Towards an Integration of Micro and Macro Sociologies. Routledge and Kegan Paul, Boston (1981)
89. Troitzsch, K.: Multilevel Simulation. In Troitzsch, K., Mueller, U., Gilbert, G., Doran, J., eds.: Social Science Microsimulation. Springer (1996) 107-120
90. Kokai, G., Toth, Z., Vanyi, R.: Modelling blood vessels of the eye with parametric L-systems using evolutionary algorithms. In Horn, W., Shahar, Y., Lindberg, G., Andreassen, S., Wyatt, J., eds.: Artificial Intelligence in Medicine. Volume 1620 of Lecture Notes in Artificial Intelligence. (1999) 433-442
91. Garcia-Olivares, A., Villarroel, M., Marijuan, P.C.: Enzymes as molecular automata: a stochastic model of self-oscillatory glycolytic cycles in cellular metabolism. Biosystems 56 (2000) 121-129
92. Wurthner, J., Mukhopadhyay, A., Piemann, C.: A cellular automaton model of cellular signal transduction. Computers in Biology and Medicine 30 (2000) 1-21
93. Alber, M., Kiskowski, M., Glazier, J.A., Jiang, Y.: On cellular automaton approaches to modeling biological cells. In Rosenthal, J., Gilliam, D.S., eds.: Mathematical Systems Theory in Biology, Communications, Computation and Finance. Volume 134 of IMA Volumes in Mathematics and its Applications. (2003) 1-39
94. Kniemeyer, O., Buck-Sorlin, G.H., Kurth, W.: Representation of genotype and phenotype in a coherent framework based on extended L-systems. In Banzhaf, W., Christaller, T., Dittrich, P., Kim, J.T., Ziegler, J., eds.: Advances in Artificial Life. Volume 2801 of Lecture Notes in Artificial Intelligence. (2003) 625-634
95. Swameye, I., Müller, T., Timmer, J., Sandra, O., Klingmüller, U.: Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by data-based dynamic modeling. PNAS 100 (2003) 1028-1033
96. Uhrmacher, A.M., Swartout, W.: Agent-Oriented Simulation. In Obaidat, M., Papadimitriou, G., eds.: Applied System Simulation, Amsterdam, Kluwer Academic Press (2003)
97. Uhrmacher, A., Degenring, D.: From macro- to Multi-Level Models in Systems Biology. In Gauges, R., Kummer, U., Pahle, J., Rost, U., eds.: Proc. of the 3rd Workshop on Computation of Biochemical Pathways and Genetic Networks. (2003)
98. Kreft, J., Booth, G., Wimpenny, J.: BacSim a simulator for individual based modelling of bacterial colony growth. Microbiology 144 (1998) 3275-3287
99. Gregory, R.: An Individual Based Model for Simulating Bacterial Evolution. In: Evolvability and Individuality Workshop, University of Hertfordshire (2002)
100. Degenring, D., Röhl, M., Uhrmacher, A.M.: Discrete event simulation for a better understanding of metabolite channeling- A system-theoretic approach. In C., P., ed.: Computational Methods in Systems Biology. Volume 2602 of Lecture Notes in Computer Science., Springer Verlag Heidelberg (2003) 114-126
101. Rizzi, M., Baltes, T., Theobald, U., Reuss, M.: In Vivo Analysis of Metabolic Dynamics in Saccheromyces cerevisiae II. Mathematical Model. Biotechnology and Bioengineering 55 (1997) 592-608
102. Takahashi, K., Yugi, K., Hashimoto, K., Yamada, Y., Pickett, C., Tomita, M.: Computational challenges in cell simulation. IEEE Intelligent Systems 17 (2002) 64-71
103. Henson, M., Müller, D., Reuss, M.: Cell Population Modelling of Yeast Glycolytic Oscillations. Biochemical Journal 368 (2002) 433-446
104. Morton-Firth, C.J., Bray, D.: Predicting Temporal Fluctuations in an Intracellular Signalling Pathway. Journal of Theoretical Biology 192 (1998) 117-128
105. Anderson, K., Miles, E., Johnson, K.: Serine Modulates Substrate Channeling in Tryptophan Synthase. The Journal of the Biological Chemistry 266 (1991) 8020-8033
106. Anderson, K., Kim, A., Quillen, J., Sayers, E., Yand, X., Miles, E.: Kinetic Characterization of Channel Impaired Mutants of Tryptophan Synthase. The Journal of Biological Chemistry 270 (1995) 29936-29944
107. Uhrmacher, A.M., Tyschler, P., Tyschler, D.: Modeling Mobile Agents. Future Generation Computer System 17 (2000) 107-118
108. Elmquist, H., Mattson, S.: Modelica - The Next Generation Modeling Language - An International Design Effort. In: First World Congress of System Simulation, Singapore (1997)
109. Takahashi, K., Kaizu, K., Hu, B., Tomita, M.: A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics 20 (2004) 538-546
110. : Biospi simulator. http://www.wisdom.weizmann.ac.il~biospi/ (access date: Okt. 2004)
111. Lynch, N., Segala, R., Vaandraager, F.: Hybrid I/O automata. Technical Report MITLCS-TR-827d, MIT Laboratory for Computer Science (2003)
112. : Anylogic - Simulation Software, http://www.xjtek.com/anylogic/ (access date: May 2004)
113. Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: A platform for modeling and simulating biopathways. Applied Bioinformatics (2003)
114. Biermann, S., Uhrmacher, A., Schumann, H.: Supporting Multi-Level Models in Systems Biology by Visual Methods. In: Proceedings of European MultiSimulation Conference. (2004)
115. Fujimoto, R.: Parallel and Distributed Simulation Systems. John Wiley and Sons (2000)
116. Zeigler, B.: Statistical Simplification of Neural Nets. Intl. J. of Machine Studies 7 (1975) 371-393
117. Zeigler, B.: Simplification of Biochemical Systems. In Segel, L., ed.: Mathematical Models in Molecular and Cellular Biology, Cambridge University Press (1981)