{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T08:57:01Z","timestamp":1768985821701,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540346999","type":"print"},{"value":"9783540347002","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11767589_11","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T14:38:34Z","timestamp":1150814314000},"page":"181-200","source":"Crossref","is-referenced-by-count":45,"title":["From Petri Nets to Differential Equations \u2013 An Integrative Approach for Biochemical Network Analysis"],"prefix":"10.1007","author":[{"given":"David","family":"Gilbert","sequence":"first","affiliation":[]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1038\/nbt0402-370","volume":"20","author":"B. Schoeberl","year":"2002","unstructured":"Schoeberl, B., Eichler-Jonsson, C., Gilles, E., Muller, G.: Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology\u00a020, 370\u2013375 (2002)","journal-title":"Nature Biotechnology"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"1891","DOI":"10.1016\/j.febslet.2005.02.002","volume":"579","author":"W. Kolch","year":"2005","unstructured":"Kolch, W., Calder, M., Gilbert, D.: When kinases meet mathematics: the systems biology of MAPK signalling. FEBS Letters\u00a0579, 1891\u20131895 (2005)","journal-title":"FEBS Letters"},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"4","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77\u00a04, 541\u2013580 (1989)","journal-title":"Proc. of the IEEE 77"},{"key":"11_CR4","unstructured":"Fieber, M.: Design und implementation of a generic and adaptive tool for graph manipulation (in German). Master thesis, BTU Cottbus, Dep. of CS (2004)"},{"key":"11_CR5","unstructured":"Starke, P., Roch, S.: INA - The Intergrated Net Analyzer, Humboldt University, Berlin (1999), \n                    \n                      http:\/\/www.informatik.hu-berlin.de\/~starke\/ina.html"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1007\/3-540-44919-1_29","volume-title":"Applications and Theory of Petri Nets 2003","author":"C. Schr\u00f6ter","year":"2003","unstructured":"Schr\u00f6ter, C., Schwoon, S., Esparza, J.: The Model-Checking Kit. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 463\u2013472. Springer, Heidelberg (2003)"},{"key":"11_CR7","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 pathway modelling and simulation. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 3\u201322. Springer, Heidelberg (2003)"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/978-3-540-27793-4_13","volume-title":"Applications and Theory of Petri Nets 2004","author":"M. Heiner","year":"2004","unstructured":"Heiner, M., Koch, I.: Petri net based model validation in systems biology. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 216\u2013237. Springer, Heidelberg (2004)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-36481-1_11","volume-title":"Computational Methods in Systems Biology","author":"K.H. Cho","year":"2003","unstructured":"Cho, K.H., Shin, S.Y., Kim, H.W., Wolkenhauer, O., McFerran, B., Kolch, W.: Mathematical modeling of the influence of RKIP on the ERK signaling pathway. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 127\u2013141. Springer, Heidelberg (2003)"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/3-540-52494-0_39","volume-title":"Advances in Petri Nets 1989","author":"P.H. Starke","year":"1990","unstructured":"Starke, P.H.: Some properties of timed nets under the earliest firing rule. In: Rozenberg, G. (ed.) APN 1989. LNCS, vol.\u00a0424, pp. 418\u2013432. Springer, Heidelberg (1990)"},{"key":"11_CR11","unstructured":"Lautenbach, K.: Exact liveness conditions of a Petri net class (in German). Technical report, GMD Report 82, Bonn (1973)"},{"key":"11_CR12","first-page":"149","volume":"67","author":"L. Popova-Zeugmann","year":"2005","unstructured":"Popova-Zeugmann, L., Heiner, M., Koch, I.: Time Petri nets for modelling and analysis of biochemical networks. Fundamenta Informaticae\u00a067, 149\u2013162 (2005)","journal-title":"Fundamenta Informaticae"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/j.tcs.2004.03.063","volume":"325","author":"N. Chabrier-Rivier","year":"2004","unstructured":"Chabrier-Rivier, N., Chiaverini, M., Vincent Danos, F.F., Sch\u00e4chter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science\u00a0325, 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"11_CR14","volume-title":"Discrete, Continuous, and Hybrid Petri Nets","author":"R. David","year":"2005","unstructured":"David, R., Alla, H.: Discrete, Continuous, and Hybrid Petri Nets. Springer, Heidelberg (2005)"},{"key":"11_CR15","unstructured":"Lonitz, K.: Hybrid Systems Modelling in Engineering and Life Sciences. Master thesis, Universit\u00e4t Koblenz-Landau (2005)"},{"key":"11_CR16","unstructured":"Scheibler, D.: A software tool for design and simulation of continuous Petri nets (in German). Master thesis, BTU Cottbus, Dep. of CS (2006)"},{"key":"11_CR17","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. Comput. Applic. Biosci.\u00a09, 563\u2013571 (1993)","journal-title":"Comput. Applic. Biosci."},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/S1064827594276424","volume":"18","author":"L.F. Shampine","year":"1997","unstructured":"Shampine, L.F., Reichelt, M.W.: The MATLAB ODE Suite. SIAM Journal on Scientific Computing\u00a018, 1\u201322 (1997)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0771-050X(80)90013-3","volume":"6","author":"J.R. Dormand","year":"1980","unstructured":"Dormand, J.R., Prince, P.J.: A family of embedded runge-kutta formulae. J. Comp. Appl. Math.\u00a06, 1\u201322 (1980)","journal-title":"J. Comp. Appl. Math."},{"key":"11_CR20","unstructured":"Kolch, W.: Personal communication (2005)"},{"issue":"2","key":"11_CR21","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/j.jbi.2005.05.005","volume":"39","author":"M. Chen","year":"2006","unstructured":"Chen, M., Hofest\u00e4dt, R.: A medical bioinformatics approach for metabolic disorders: Biomedical data prediction, modeling, and systematic analysis. J. Biomedical Informatics\u00a039(2), 147\u2013159 (2006)","journal-title":"J. Biomedical Informatics"},{"key":"11_CR22","unstructured":"Will, J., Heiner, M.: Petri nets in biology, chemistry, and medicine - bibliography. Technical Report 04\/2002, BTU Cottbus, Computer Science (2002)"},{"key":"11_CR23","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Proc. Computational Methods in Systems Biology (CSMB 2005), LFCS, University of Edinburgh, pp. 204\u2013215 (2005)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/11494744_4","volume-title":"Applications and Theory of Petri Nets 2005","author":"M. Silva","year":"2005","unstructured":"Silva, M., Recalde, L.: Continuization of timed Petri nets: From performance evaluation to observation and control. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 26\u201347. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Petri Nets and Other Models of Concurrency - ICATPN 2006"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11767589_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:11:23Z","timestamp":1619507483000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11767589_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540346999","9783540347002"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11767589_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}