{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:17:57Z","timestamp":1757780277959},"publisher-location":"Berlin, Heidelberg","reference-count":117,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540254225"},{"type":"electronic","value":"9783540321262"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/978-3-540-32126-2_6","type":"book-chapter","created":{"date-parts":[[2010,7,4]],"date-time":"2010-07-04T14:56:58Z","timestamp":1278255418000},"page":"66-89","source":"Crossref","is-referenced-by-count":22,"title":["Discrete Event Multi-level Models for Systems Biology"],"prefix":"10.1007","author":[{"given":"Adelinde M.","family":"Uhrmacher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniela","family":"Degenring","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernard","family":"Zeigler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"1662","DOI":"10.1126\/science.1069492","volume":"295","author":"H. Kitano","year":"2002","unstructured":"Kitano, H.: Systems Biology: A Brief Overview. Science\u00a0295, 1662\u20131664 (2002)","journal-title":"Science"},{"key":"6_CR2","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1093\/bib\/2.3.258","volume":"2","author":"O. Wolkenhauer","year":"2001","unstructured":"Wolkenhauer, O.: Systems biology: the reincarnation of systems theory applied in the biology? Briefings in Bioinformatics\u00a02, 258\u2013270 (2001)","journal-title":"Briefings in Bioinformatics"},{"key":"6_CR3","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-540-25974-9_14","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier-Rivier","year":"2005","unstructured":"Chabrier-Rivier, N., Fages, F., Soliman, S.: The Biochemical Abstract Machine Biocham. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 172\u2013191. Springer, Heidelberg (2005)"},{"key":"6_CR4","unstructured":"Hucka, M., Finney, A., Sauro, H., Bolouri, H.: The erato systems biology work\u00acbench: Architectural evolution. In: Yi, T.M., Hucka, M., Morohashi, M., Kitano, H. (eds.) The Proceedings of the 2nd International Conference on Systems Biology (2001)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"524","DOI":"10.1093\/bioinformatics\/btg015","volume":"19","author":"M. Hucka","year":"2003","unstructured":"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\u00a019, 524\u2013531 (2003)","journal-title":"Bioinformatics"},{"key":"6_CR6","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1177\/0037549703040939","volume":"79","author":"A. Cuellar","year":"2003","unstructured":"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\u00a079, 740\u2013747 (2003)","journal-title":"Simulation -Transactions of the SCS"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1002\/bit.260260303","volume":"26","author":"M.M. Domach","year":"1984","unstructured":"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\u00a026, 203\u2013216 (1984)","journal-title":"Biotechnology and Bioengineering"},{"key":"6_CR8","doi-asserted-by":"publisher","first-page":"5313","DOI":"10.1046\/j.1432-1327.2000.01527.x","volume":"267","author":"B. Teusink","year":"2000","unstructured":"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., Wester-hoff, 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\u00a0267, 5313\u20135329 (2000)","journal-title":"European Journal of Biochemistry"},{"key":"6_CR9","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0301-4622(01)00229-0","volume":"94","author":"F. Hynne","year":"2001","unstructured":"Hynne, F., Don\u00f8, S., S\u00f8renson, P.G.: Full-scale model of glycolysis in Saccha\u2009\u2212\u2009romyces cerevisiae. Biophysical Chemistry\u00a094, 121\u2013163 (2001)","journal-title":"Biophysical Chemistry"},{"key":"6_CR10","doi-asserted-by":"publisher","first-page":"1364","DOI":"10.1073\/pnas.98.4.1364","volume":"98","author":"M. Santill\u00e1n","year":"2001","unstructured":"Santill\u00e1n, 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\u00a098, 1364\u20131369 (2001)","journal-title":"Proceedings of the National Academy of Sciences of the USA"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V.N. Reddy","year":"1996","unstructured":"Reddy, V.N., Liebman, M.N., Mavrovouniotis, M.L.: Qualitative analysis of bio-chemical reaction systems. Computers in Biology and Medicine\u00a026, 9\u201324 (1996)","journal-title":"Computers in Biology and Medicine"},{"key":"6_CR12","doi-asserted-by":"crossref","first-page":"1011","DOI":"10.1021\/ci025650w","volume":"43","author":"X.Q. Xia","year":"2003","unstructured":"Xia, X.Q., Wise, M.J.: DiMSim: A Discrete-Event Simulator of Metabolic Networks. Journal of Chemical Information and Computer Science\u00a043, 1011\u20131019 (2003)","journal-title":"Journal of Chemical Information and Computer Science"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1006\/jtbi.2002.3042","volume":"217","author":"M.E. Jones","year":"2002","unstructured":"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\u00a0217, 509\u2013523 (2002)","journal-title":"Journal of Theoretical Biology"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"560","DOI":"10.1016\/S0006-3495(94)80516-8","volume":"67","author":"A. Arkin","year":"1994","unstructured":"Arkin, A., Ross, J.: Computational functions in biochemical reaction networks. Biophysical Journal\u00a067, 560\u2013578 (1994)","journal-title":"Biophysical Journal"},{"key":"6_CR15","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1016\/0167-2789(95)00014-U","volume":"84","author":"A. Hjemfelt","year":"1995","unstructured":"Hjemfelt, A., Ross, J.: Implementation of logic functions and computations by chemical kinetics. Physica D\u00a084, 180\u2013193 (1995)","journal-title":"Physica D"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-25974-9_22"},{"key":"6_CR17","volume-title":"Theory of Modeling and Simulation","author":"B. Zeigler","year":"2000","unstructured":"Zeigler, B., Praehofer, H., Kim, T.G.: Theory of Modeling and Simulation. Academic Press, London (2000)"},{"key":"6_CR18","unstructured":"Heylighen, F.: Downward Causation. Principia Cybernetica Web, http:\/\/pespmc1.vub.ac.be\/DOWNCAUS.html (access date: 12.05.2004)"},{"key":"6_CR19","series-title":"Treatise of Basic Philosophy","volume-title":"Ontology II: A World of Systems","author":"M. Bunge","year":"1979","unstructured":"Bunge, M.: Ontology II: A World of Systems. Treatise of Basic Philosophy, vol.\u00a04. Reidel, Dordrecht (1979)"},{"key":"6_CR20","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/978-1-349-01892-5_11","volume-title":"Studies in the Philosophy of Biology","author":"D. Campbell","year":"1974","unstructured":"Campbell, D.: Downward causation in Hierarchically Organized Biological Systems. In: Ayala, F., Dobzhanzky, J. (eds.) Studies in the Philosophy of Biology, pp. 179\u2013186. University of California Press, Berkeley (1974)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Salthe, S.: Evolving Hierarchical Systems. Columbia University Press, Columbia (1985)","DOI":"10.7312\/salt91068"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1038\/76317","volume":"18","author":"R. Strohmann","year":"2000","unstructured":"Strohmann, R.: Organization becomes cause in the matter. Nature Biotechnology\u00a018, 575\u2013576 (2000)","journal-title":"Nature Biotechnology"},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"4769","DOI":"10.1073\/pnas.082065899","volume":"99","author":"G. Whitesides","year":"2002","unstructured":"Whitesides, G., Boncheva, M.: Beyond molecules: Self-assembly of mesoscopic and macroscopic components. PNAS\u00a099, 4769\u20134774 (2002)","journal-title":"PNAS"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1038\/35011540","volume":"402","author":"L.H. Hartwell","year":"1999","unstructured":"Hartwell, L.H., Hopfield, J.J., Leibler, S., Murray, A.W.: From molecular to modular cell biology. Nature\u00a0402, C47\u2013C52 (1999)","journal-title":"Nature"},{"key":"6_CR25","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1083\/jcb.200301125","volume":"161","author":"J.M.G. Vilar","year":"2003","unstructured":"Vilar, J.M.G., Guet, C.C., Leibler, S.: Modeling network dynamics: the lac operon, a case study. The Journal of Cell Biology\u00a0161, 471\u2013476 (2003)","journal-title":"The Journal of Cell Biology"},{"key":"6_CR26","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1006\/mben.2000.0159","volume":"2","author":"A. Kremling","year":"2000","unstructured":"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\u00a02, 190\u2013200 (2000)","journal-title":"Metabolic Engineering"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1006\/mben.2000.0175","volume":"3","author":"A. Kremling","year":"2001","unstructured":"Kremling, A., Gilles, E.D.: The Organization of Metabolic Reaction Networks II. Signal Processing in Hierarchical Structured Functional Units. Metabolic Engineering\u00a03, 138\u2013150 (2001)","journal-title":"Metabolic Engineering"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1006\/mben.2001.0199","volume":"3","author":"A. Kremling","year":"2001","unstructured":"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\u00a03, 362\u2013379 (2001)","journal-title":"Metabolic Engineering"},{"key":"6_CR29","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.biosystems.2004.03.008","volume":"75","author":"D. Degenring","year":"2004","unstructured":"Degenring, D., R\u00f6hl, M., Uhrmacher, A.: Discrete Event, Multi-Level Simulation of Metabolite Channeling. BioSystems\u00a075, 29\u201341 (2004)","journal-title":"BioSystems"},{"key":"6_CR30","unstructured":"Minsky, M.: Models, Minds, Machines. In: Proc. IFIP Congress, pp. 45\u201349 (1965)"},{"key":"6_CR31","volume-title":"Continuous System Modeling","author":"F.E. Cellier","year":"1992","unstructured":"Cellier, F.E.: Continuous System Modeling. Springer, New York (1992)"},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1089\/10665270252833208","volume":"9","author":"H. Jong de","year":"2002","unstructured":"de Jong, H.: Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology\u00a09, 67\u2013103 (2002)","journal-title":"Journal of Computational Biology"},{"key":"6_CR33","first-page":"563","volume":"9","author":"P. Mendes","year":"1993","unstructured":"Mendes, P.: GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems. Computer Applications in the Biosciences\u00a09, 563\u2013571 (1993)","journal-title":"Computer Applications in the Biosciences"},{"key":"6_CR34","doi-asserted-by":"publisher","first-page":"1169","DOI":"10.1093\/bioinformatics\/btg128","volume":"19","author":"M.A.K. Ginkel","year":"2003","unstructured":"Ginkel, M.A.K., Nutsch, T., Rehner, R., Gilles, E.: Modular modeling of cellular systems with ProMoT\/Diva. Bioinformatics\u00a019, 1169\u20131176 (2003)","journal-title":"Bioinformatics"},{"key":"6_CR35","unstructured":"Sauro, H.: Jarnac: A system for interactive metabolic analysis. In: Animating the cellular map: Proceedings of the 9th International Meeting on BioThermoKinet-ics. Stellenbosch University Press (2000)"},{"key":"6_CR36","doi-asserted-by":"publisher","first-page":"749","DOI":"10.1093\/bioinformatics\/15.9.749","volume":"15","author":"I. Goryanin","year":"1999","unstructured":"Goryanin, I., Hodgman, T., Selkov, E.: Mathematical simulation and analysis of cellular metabolism and regulation. Bioinformatics\u00a015, 749\u2013758 (1999)","journal-title":"Bioinformatics"},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1093\/bioinformatics\/btg042","volume":"19","author":"B.E. Shapiro","year":"2003","unstructured":"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\u00a019, 677\u2013678 (2003)","journal-title":"Bioinformatics"},{"key":"6_CR38","doi-asserted-by":"crossref","unstructured":"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, pp. 1\u201312 (1987)","DOI":"10.1007\/978-3-663-19445-3_1"},{"key":"6_CR39","doi-asserted-by":"publisher","first-page":"6750","DOI":"10.1073\/pnas.95.12.6750","volume":"95","author":"P. Goss","year":"1998","unstructured":"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\u00a095, 6750\u20136755 (1998)","journal-title":"Proceedings of National Academy of Sciences of the USA"},{"key":"6_CR40","volume-title":"Multifacetted Modelling and Discrete Event Simulation","author":"B. Zeigler","year":"1984","unstructured":"Zeigler, B.: Multifacetted Modelling and Discrete Event Simulation. Academic Press, London (1984)"},{"key":"6_CR41","unstructured":"Petri Nets World., http:\/\/www.daimi.au.dk\/PetriNets\/ (access date: 08.11.2004)"},{"key":"6_CR42","volume-title":"Communicating and Mobile Systems: The \u03c0 Calculus","author":"R. Milner","year":"1999","unstructured":"Milner, R.: Communicating and Mobile Systems: The \u03c0 Calculus. Cambridge University Press, Cambridge (1999)"},{"key":"6_CR43","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1093\/comjnl\/38.7.578","volume":"38","author":"C. Priami","year":"1995","unstructured":"Priami, C.: The Stochastic pi-Calculus. The Computer Journal\u00a038, 578\u2013589 (1995)","journal-title":"The Computer Journal"},{"key":"6_CR44","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/0020-7101(71)90004-3","volume":"2","author":"B. Zeigler","year":"1971","unstructured":"Zeigler, B.: A Note on System Modelling, Aggregation and Reductionism. J. of Biomedical Computing\u00a02, 277\u2013280 (1971)","journal-title":"J. of Biomedical Computing"},{"key":"6_CR45","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/384169.384173","volume":"11","author":"A. Uhrmacher","year":"2001","unstructured":"Uhrmacher, A.: Dynamic Structures in Modeling and Simulation - A Reflective Approach. ACM Transactions on Modeling and Simulation\u00a011, 206\u2013232 (2001)","journal-title":"ACM Transactions on Modeling and Simulation"},{"key":"6_CR46","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1080\/08839519508945472","volume":"9","author":"A.M. Uhrmacher","year":"1995","unstructured":"Uhrmacher, A.M.: Reasoning about Changing Structure: A Modeling Concept for Ecological Systems. International Journal on Applied Artificial Intelligence\u00a09, 157\u2013180 (1995)","journal-title":"International Journal on Applied Artificial Intelligence"},{"key":"6_CR47","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-36481-1_2","volume-title":"Computational Methods in Systems Biology","author":"N. Kam","year":"2003","unstructured":"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: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 3\u201320. Springer, Heidelberg (2003)"},{"key":"6_CR48","unstructured":"Borland, S., Vangheluwe, H.: Transforming Statecharts to DEVS. In: Summer Computer Simulation Conference, pp. 154\u2013159 (2003)"},{"key":"6_CR49","unstructured":"Danos, V., Laneve, C. (eds.): BioConcur - Workshop on Concurrent Models in Molecular Biology. Electronic Notes in Theoretical Computer Science (2003)"},{"key":"6_CR50","volume-title":"BioConcur 2004","author":"C. Kuttler","year":"2004","unstructured":"Kuttler, C., Blossey, R., Niehren, J.: Gene Regulation in the Pi Caluculus: Modelling Cooperativity at the Lambda Switch. In: BioConcur 2004. Elsevier, Amsterdam (2004)"},{"key":"6_CR51","doi-asserted-by":"crossref","unstructured":"Regev, A., Shapiro, E.: Cells as computation. Nature\u00a0419, 343 (2002), www.wisdom.weizmann.ac.il~aviv","DOI":"10.1038\/419343a"},{"key":"6_CR52","unstructured":"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)"},{"key":"6_CR53","first-page":"326","volume-title":"Proceedings of the 2nd International Conference on Systems Biology","author":"K.U.K. Gend Van","year":"2001","unstructured":"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, pp. 326\u2013333. Omnipress, Madison (2001)"},{"key":"6_CR54","series-title":"Electronic Notes in Theoretical Computer Science","volume-title":"Proc. of BIO-CONCUR 2004","author":"A. Philipps","year":"2004","unstructured":"Philipps, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proc. of BIO-CONCUR 2004. Electronic Notes in Theoretical Computer Science. Elsevier, Amsterdam (2004)"},{"key":"6_CR55","doi-asserted-by":"crossref","unstructured":"Regev, A., Panina, E., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science (2004)","DOI":"10.1016\/j.tcs.2004.03.061"},{"key":"6_CR56","series-title":"Electronic Notes in Theoretcial Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/b11832","volume-title":"Proc. of BIO-CONCUR 2003","author":"L. Cardelli","year":"2003","unstructured":"Cardelli, L.: Brane Calculi. In: Proc. of BIO-CONCUR 2003. Electronic Notes in Theoretcial Computer Science. Elsevier, Amsterdam (2003)"},{"key":"6_CR57","doi-asserted-by":"crossref","unstructured":"Mc Collum, J., Cox, C., Simpson, M., Peterson, G.: Accelerating Gene Regulatory Network Modeling Using Grid-Based Simulation. Simulation - Transactions of the SCS (2004)","DOI":"10.1177\/0037549704045051"},{"key":"6_CR58","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-25974-9_11","volume-title":"Computational Methods in Systems Biology","author":"V. Danos","year":"2005","unstructured":"Danos, V., Pradalier, S.: Projective brane calculus. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.\u00a03082, pp. 134\u2013148. Springer, Heidelberg (2005)"},{"key":"6_CR59","volume-title":"Perspectives on Adaptation in Natural and Artificial Systems - Essays in Honor of John Holland","author":"B. Zeigler","year":"2004","unstructured":"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, Oxford (2004)"},{"key":"6_CR60","unstructured":"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)"},{"key":"6_CR61","unstructured":"Chen, M., Hofest\u00e4dt, 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)"},{"key":"6_CR62","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-44919-1_2","volume-title":"Applications and Theory of Petri Nets 2003","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S.: Towards biopathway modeling and simulation. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 3\u201322. Springer, Heidelberg (2003)"},{"key":"6_CR63","unstructured":"Cho, K.H., Johansson, K., Wolkenhauer, O.: A Hybrid Systems Framework for Cellular Processes (2004) (submitted for publication)"},{"key":"6_CR64","unstructured":"Matlab Simulink, http:\/\/www.mathworks.com (access date: 08.11.2004)"},{"key":"6_CR65","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1145\/643120.643125","volume":"12","author":"J. Liu","year":"2002","unstructured":"Liu, J., Lee, E.: A component-based approach to modeling and simulating mixed-signal and hybrid systems. ACM Transactions on Modeling and Computer Simulation\u00a012, 343\u2013368 (2002)","journal-title":"ACM Transactions on Modeling and Computer Simulation"},{"key":"6_CR66","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/LICS.1996.561342","volume-title":"Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS)","author":"T. Henzinger","year":"1996","unstructured":"Henzinger, T.: The theory of hybrid automata. In: Proceedings of the 11th Annual Symposium on Logic in Computer Science (LICS), pp. 278\u2013292. IEEE Computer Society Press, Los Alamitos (1996)"},{"key":"6_CR67","doi-asserted-by":"crossref","unstructured":"Alur, R., Belta, C., Ivancic, F., Kumar, V., Rubin, H., Schug, J., Sokolsky, O., Webb, J.: Visual programming for modeling and simulation of biomolecular reg- ulatory networks. In: International Conference on High Performance Computing (2002)","DOI":"10.1007\/3-540-36265-7_67"},{"key":"6_CR68","volume-title":"3rd Workshop on Computation of Biochemical Pathways and Genetic Networks","author":"B. Mishra","year":"2003","unstructured":"Mishra, B., Policriti, A.: Systems Biology and Automata. In: 3rd Workshop on Computation of Biochemical Pathways and Genetic Networks, Springer, Heidelberg (2003)"},{"key":"6_CR69","series-title":"Lecture Notes in Computer Science","volume-title":"Hybrid Systems: Computation and Control","author":"C. Belta","year":"2004","unstructured":"Belta, C., Finin, P., Habets, L., Halasz, A., Irnieliniksi, M., Kurnar, V., Rubin, H.: Understanding the bacterial stringent response using reachability analysis of hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.\u00a02993. Springer, Heidelberg (2004)"},{"key":"6_CR70","volume-title":"Simulation, Modeling, and Analysis","author":"A. Law","year":"1991","unstructured":"Law, A., Kelton, W.: Simulation, Modeling, and Analysis. MCGraw Hill International Editions, New York (1991)"},{"key":"6_CR71","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1038\/nature01258","volume":"420","author":"C.V. Rao","year":"2002","unstructured":"Rao, C.V., Wolf, D.M., Arkin, A.P.: Control, exploitation and tolerance of intra-cellular noise. Nature\u00a0420, 231\u2013237 (2002)","journal-title":"Nature"},{"key":"6_CR72","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1126\/science.1075988","volume":"297","author":"N. Fedoroff","year":"2002","unstructured":"Fedoroff, N., Fontana, W.: Small Numbers of Big Molecules. Science\u00a0297, 1129\u20131131 (2002)","journal-title":"Science"},{"key":"6_CR73","doi-asserted-by":"publisher","first-page":"1876","DOI":"10.1021\/jp993732q","volume":"104","author":"M.A. Gibson","year":"2000","unstructured":"Gibson, M.A., Bruck, J.: EfficientExact Stochastic Simulation of Chemical Systems with Many Species and Many Channels. Journal of Physical Chemistry A\u00a0104, 1876\u20131889 (2000)","journal-title":"Journal of Physical Chemistry A"},{"key":"6_CR74","first-page":"403","volume":"22","author":"D.T. Gillespie","year":"1976","unstructured":"Gillespie, D.T.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. The Journal of Physical Chemistry B\u00a022, 403\u2013434 (1976)","journal-title":"The Journal of Physical Chemistry B"},{"key":"6_CR75","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D.T. Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. The Journal of Physical Chemistry B\u00a081, 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry B"},{"key":"6_CR76","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1002\/(SICI)1097-0290(19961220)52:6<633::AID-BIT1>3.0.CO;2-P","volume":"52","author":"D. Kuo","year":"1996","unstructured":"Kuo, D., Keasling, J.D.: A Monte Carlo simulation of plasmid replication during the bacterial division cycle. Biotechnology and Bioengineering\u00a052, 633\u2013647 (1996)","journal-title":"Biotechnology and Bioengineering"},{"key":"6_CR77","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1093\/bioinformatics\/18.3.470","volume":"18","author":"A.M. Kierzek","year":"2002","unstructured":"Kierzek, A.M.: STOCKS: STOChastic Kinetic Simulations of biochemical systems with Gillespie algorithm. Bioinformatics\u00a018, 470\u2013481 (2002)","journal-title":"Bioinformatics"},{"key":"6_CR78","doi-asserted-by":"crossref","unstructured":"Cowan, R.: Stochastic models for DNA replication. In: Shanbhag, D., Rao, C. (eds.) Stochastic Processes. Handbook of Statistics (2003)","DOI":"10.1016\/S0169-7161(03)21006-3"},{"key":"6_CR79","doi-asserted-by":"publisher","first-page":"1716","DOI":"10.1063\/1.1378322","volume":"115","author":"D.T. Gillespie","year":"2001","unstructured":"Gillespie, D.T.: Approximate accelerated stochastic simulation of chemically reacting systems. The Journal of Chemical Physics\u00a0115, 1716\u20131733 (2001)","journal-title":"The Journal of Chemical Physics"},{"key":"6_CR80","doi-asserted-by":"publisher","first-page":"8229","DOI":"10.1063\/1.1613254","volume":"119","author":"D.T. Gillespie","year":"2004","unstructured":"Gillespie, D.T., Petzold, L.R.: Improved leap-size selection for accelerated stochastic simulation. The Journal of Chemical Physics\u00a0119, 8229\u20138234 (2004)","journal-title":"The Journal of Chemical Physics"},{"key":"6_CR81","doi-asserted-by":"publisher","first-page":"1357","DOI":"10.1016\/S0006-3495(04)74207-1","volume":"86","author":"J. Puchulka","year":"2004","unstructured":"Puchulka, J., Kierzek, A.M.: Bridging the Gap between Stochastic and Deterministic Regimes in the Kinetic Simulations of the Biochemical Reaction Networks. Biophysical Journal\u00a086, 1357\u20131372 (2004)","journal-title":"Biophysical Journal"},{"key":"6_CR82","volume-title":"Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge","author":"B. Kuipers","year":"1994","unstructured":"Kuipers, B.: Qualitative Reasoning: Modeling and Simulation with Incomplete Knowledge. MIT Press, Cambridge (1994)"},{"key":"6_CR83","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1093\/bioinformatics\/14.1.81","volume":"14","author":"K.R. Heidtke","year":"1998","unstructured":"Heidtke, K.R., Schulze-Kremer, S.: Design and implementation of a qualitative simulation model of \u03bb phage infection. Bioinformatics\u00a014, 81\u201391 (1998)","journal-title":"Bioinformatics"},{"key":"6_CR84","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0167-7799(03)00115-X","volume":"21","author":"T. Ideker","year":"2003","unstructured":"Ideker, T., Lauffenburger, D.: Building with a scaffold: emerging strategies for high- to low-level cellular modeling. Trends in Biotechnology\u00a021, 255\u2013262 (2003)","journal-title":"Trends in Biotechnology"},{"key":"6_CR85","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1063\/1.1350439","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. I. structural conditions of multistationarity and other nontrivial behavior. Chaos\u00a011, 170\u2013179 (2001)","journal-title":"Chaos"},{"key":"6_CR86","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1063\/1.1349893","volume":"11","author":"R. Thomas","year":"2001","unstructured":"Thomas, R., Kaufman, M.: Multistationarity, the basis of cell differentiation and memory. II. Logical analysis of regulatory networks in terms of feedback circuits. Chaos\u00a011, 180\u2013195 (2001)","journal-title":"Chaos"},{"key":"6_CR87","unstructured":"Tilly, C.: Micro, Macro, or Megrim? Paper for the G\u00f6ttinger Gespr\u00e4ch zur Geschichtswissenschaft, Microhistory - Macrohistory: Complementary or Incommensurable? (1997)"},{"volume-title":"Advances in Social Theory and Methodology - Towards an Integration of Micro and Macro Sociologies","year":"1981","key":"6_CR88","unstructured":"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)"},{"key":"6_CR89","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/978-3-662-03261-9_5","volume-title":"Social Science Microsimulation","author":"K. Troitzsch","year":"1996","unstructured":"Troitzsch, K.: Multilevel Simulation. In: Troitzsch, K., Mueller, U., Gilbert, G., Doran, J. (eds.) Social Science Microsimulation, pp. 107\u2013120. Springer, Heidelberg (1996)"},{"key":"6_CR90","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1007\/3-540-48720-4_48","volume-title":"Artificial Intelligence in Medicine","author":"G. Kokai","year":"1999","unstructured":"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.C. (eds.) AIMDM 1999. LNCS (LNAI), vol.\u00a01620, pp. 433\u2013442. Springer, Heidelberg (1999)"},{"key":"6_CR91","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1016\/S0303-2647(00)00078-2","volume":"56","author":"A. Garcia-Olivares","year":"2000","unstructured":"Garcia-Olivares, A., Villarroel, M., Marijuan, P.C.: Enzymes as molecular automata: a stochastic model of self-oscillatory glycolytic cycles in cellular metabolism. Biosystems\u00a056, 121\u2013129 (2000)","journal-title":"Biosystems"},{"key":"6_CR92","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0010-4825(99)00020-7","volume":"30","author":"J. Wurthner","year":"2000","unstructured":"Wurthner, J., Mukhopadhyay, A., Piemann, C.: A cellular automaton model of cellular signal transduction. Computers in Biology and Medicine\u00a030, 1\u201321 (2000)","journal-title":"Computers in Biology and Medicine"},{"key":"6_CR93","doi-asserted-by":"crossref","unstructured":"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. IMA Volumes in Mathematics and its Applications, vol.\u00a0134, pp. 1\u201339 (2003)","DOI":"10.1007\/978-0-387-21696-6_1"},{"key":"6_CR94","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1007\/978-3-540-39432-7_67","volume-title":"Advances in Artificial Life","author":"O. Kniemeyer","year":"2003","unstructured":"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., Ziegler, J., Christaller, T., Dittrich, P., Kim, J.T. (eds.) ECAL 2003. LNCS (LNAI), vol.\u00a02801, pp. 625\u2013634. Springer, Heidelberg (2003)"},{"key":"6_CR95","doi-asserted-by":"publisher","first-page":"1028","DOI":"10.1073\/pnas.0237333100","volume":"100","author":"I. Swameye","year":"2003","unstructured":"Swameye, I., Muller, T., Timmer, J., Sandra, O., Klingmuller, U.: Identification of nucleocytoplasmic cycling as a remote sensor in cellular signaling by data-based dynamic modeling. PNAS\u00a0100, 1028\u20131033 (2003)","journal-title":"PNAS"},{"key":"6_CR96","volume-title":"Applied System Simulation","author":"A.M. Uhrmacher","year":"2003","unstructured":"Uhrmacher, A.M., Swartout, W.: Agent-Oriented Simulation. In: Obaidat, M., Pa-padimitriou, G. (eds.) Applied System Simulation, Amsterdam. Kluwer Academic Press, Dordrecht (2003)"},{"key":"6_CR97","unstructured":"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)"},{"key":"6_CR98","doi-asserted-by":"publisher","first-page":"3275","DOI":"10.1099\/00221287-144-12-3275","volume":"144","author":"J. Kreft","year":"1998","unstructured":"Kreft, J., Booth, G., Wimpenny, J.: BacSim a simulator for individual based modelling of bacterial colony growth. Microbiology\u00a0144, 3275\u20133287 (1998)","journal-title":"Microbiology"},{"key":"6_CR99","unstructured":"Gregory, R.: An Individual Based Model for Simulating Bacterial Evolution. In: Evolvability and Individuality Workshop, University of Hertfordshire (2002)"},{"key":"6_CR100","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/3-540-36481-1_10","volume-title":"Computational Methods in Systems Biology","author":"D. Degenring","year":"2003","unstructured":"Degenring, D., Roohl, M., Uhrmacher, A.M.: Discrete event simulation for a better understanding of metabolite channeling- A system-theoretic approach. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 114\u2013126. Springer, Heidelberg (2003)"},{"key":"6_CR101","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1002\/(SICI)1097-0290(19970820)55:4<592::AID-BIT2>3.0.CO;2-C","volume":"55","author":"M. Rizzi","year":"1997","unstructured":"Rizzi, M., Baltes, T., Theobald, U., Reuss, M.: In Vivo Analysis of Metabolic Dynamics in Saccheromyces cerevisiae II. Mathematical Model. Biotechnology and Bioengineering\u00a055, 592\u2013608 (1997)","journal-title":"Mathematical Model. Biotechnology and Bioengineering"},{"key":"6_CR102","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MIS.2002.1039834","volume":"17","author":"K. Takahashi","year":"2002","unstructured":"Takahashi, K., Yugi, K., Hashimoto, K., Yamada, Y., Pickett, C., Tomita, M.: Computational challenges in cell simulation. IEEE Intelligent Systems\u00a017, 64\u201371 (2002)","journal-title":"IEEE Intelligent Systems"},{"key":"6_CR103","doi-asserted-by":"publisher","first-page":"433","DOI":"10.1042\/BJ20021051","volume":"368","author":"M. Henson","year":"2002","unstructured":"Henson, M., M\u00fcller, D., Reuss, M.: Cell Population Modelling of Yeast Glycolytic Oscillations. Biochemical Journal\u00a0368, 433\u2013446 (2002)","journal-title":"Biochemical Journal"},{"key":"6_CR104","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1006\/jtbi.1997.0651","volume":"192","author":"C.J. Morton-Firth","year":"1998","unstructured":"Morton-Firth, C.J., Bray, D.: Predicting Temporal Fluctuations in an Intracellu-lar Signalling Pathway. Journal of Theoretical Biology\u00a0192, 117\u2013128 (1998)","journal-title":"Journal of Theoretical Biology"},{"key":"6_CR105","doi-asserted-by":"crossref","first-page":"8020","DOI":"10.1016\/S0021-9258(18)92934-0","volume":"266","author":"K. Anderson","year":"1991","unstructured":"Anderson, K., Miles, E., Johnson, K.: Serine Modulates Substrate Channeling in Tryptophan Synthase. The Journal of the Biological Chemistry\u00a0266, 8020\u20138033 (1991)","journal-title":"The Journal of the Biological Chemistry"},{"key":"6_CR106","doi-asserted-by":"publisher","first-page":"29936","DOI":"10.1074\/jbc.270.50.29936","volume":"270","author":"K. Anderson","year":"1995","unstructured":"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\u00a0270, 29936\u201329944 (1995)","journal-title":"The Journal of Biological Chemistry"},{"key":"6_CR107","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0167-739X(99)00107-7","volume":"17","author":"A.M. Uhrmacher","year":"2000","unstructured":"Uhrmacher, A.M., Tyschler, P., Tyschler, D.: Modeling Mobile Agents. Future Generation Computer System\u00a017, 107\u2013118 (2000)","journal-title":"Future Generation Computer System"},{"key":"6_CR108","unstructured":"Elmquist, H., Mattson, S.: Modelica - The Next Generation Modeling Language - An International Design Effort. In: First World Congress of System Simulation, Singapore (1997)"},{"key":"6_CR109","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1093\/bioinformatics\/btg442","volume":"20","author":"K. Takahashi","year":"2004","unstructured":"Takahashi, K., Kaizu, K., Hu, B., Tomita, M.: A multi-algorithm, multi-timescale method for cell simulation. Bioinformatics\u00a020, 538\u2013546 (2004)","journal-title":"Bioinformatics"},{"key":"6_CR110","unstructured":"Biospi simulator, http:\/\/www.wisdom.weizmann.ac.il~biospi (access date: Okt. 2004)"},{"key":"6_CR111","unstructured":"Lynch, N., Segala, R., Vaandraager, F.: Hybrid I\/O automata. Technical Report MITLCS-TR-827d, MIT Laboratory for Computer Science (2003)"},{"key":"6_CR112","unstructured":"Anylogic - Simulation Software, http:\/\/www.xjtek.com\/anylogic\/ (access date: May 2004)"},{"key":"6_CR113","unstructured":"Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: A platform for modeling and simulating biopathways. Applied Bioinformatics (2003)"},{"key":"6_CR114","unstructured":"Biermann, S., Uhrmacher, A., Schumann, H.: Supporting Multi-Level Models in Systems Biology by Visual Methods. In: Proceedings of European Multi-Simulation Conference (2004)"},{"key":"6_CR115","volume-title":"Parallel and Distributed Simulation Systems","author":"R. Fujimoto","year":"2000","unstructured":"Fujimoto, R.: Parallel and Distributed Simulation Systems. John Wiley and Sons, Chichester (2000)"},{"key":"6_CR116","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1016\/S0020-7373(75)80018-6","volume":"7","author":"B. Zeigler","year":"1975","unstructured":"Zeigler, B.: Statistical Simplification of Neural Nets. Intl. J. of Machine Studies\u00a07, 371\u2013393 (1975)","journal-title":"Intl. J. of Machine Studies"},{"key":"6_CR117","volume-title":"Mathematical Models in Molecular and Cellular Biology","author":"B. Zeigler","year":"1981","unstructured":"Zeigler, B.: Simplification of Biochemical Systems. In: Segel, L. (ed.) Mathematical Models in Molecular and Cellular Biology. Cambridge University Press, Cambridge (1981)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology I"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-32126-2_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T14:44:34Z","timestamp":1635605074000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-32126-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540254225","9783540321262"],"references-count":117,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-32126-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}