{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,5]],"date-time":"2026-01-05T21:48:47Z","timestamp":1767649727036},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540457794"},{"type":"electronic","value":"9783540462361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11880646_3","type":"book-chapter","created":{"date-parts":[[2006,11,17]],"date-time":"2006-11-17T04:13:44Z","timestamp":1163736824000},"page":"44-67","source":"Crossref","is-referenced-by-count":48,"title":["Analysis of Signalling Pathways Using Continuous Time Markov Chains"],"prefix":"10.1007","author":[{"given":"Muffy","family":"Calder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vladislav","family":"Vyshemirsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gilbert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Orton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/343369.343402","volume":"1","author":"A. Aziz","year":"2000","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time markov chains. ACM Transactions on Computational Logic\u00a01, 162\u2013170 (2000)","journal-title":"ACM Transactions on Computational Logic"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model checking continuous-time Markov chains by transient analysis. In: CAV (2000)","DOI":"10.1007\/10722167_28"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","volume-title":"Computational Methods in Systems Biology","author":"N. Chabrier","year":"2003","unstructured":"Chabrier, N., Fages, F.: Symbolic model checking of biochemical networks. In: Priami, C. (ed.) CMSB 2003. LNCS, vol.\u00a02602, pp. 149\u2013162. Springer, Heidelberg (2003)"},{"key":"3_CR4","unstructured":"Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Proceedings of Bio-Concur 2004 (2004)"},{"issue":"1","key":"3_CR5","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., Danos, V., Fages, F., Schchter, V.: Modeling and querying biomolecular interaction networks. Theoretical Computer Science\u00a0325(1), 25\u201344 (2004)","journal-title":"Theoretical Computer Science"},{"key":"3_CR6","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)"},{"issue":"25","key":"3_CR7","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"D. Gillespie","year":"1977","unstructured":"Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry\u00a081(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Goss, P.J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. In: Proc. Natl. Acad. Sci. USA (Biochemistry), vol.\u00a095, pp. 6750\u20136755 (1998)","DOI":"10.1073\/pnas.95.12.6750"},{"issue":"42","key":"3_CR9","doi-asserted-by":"publisher","first-page":"30169","DOI":"10.1074\/jbc.274.42.30169","volume":"274","author":"B.N. Kholodenko","year":"1999","unstructured":"Kholodenko, B.N., Demin, O.V., Moehren, G., Hoek, J.B.: Quantification of short term signaling by the epidermal growth factor receptor. The Journal of Biological Chemistry\u00a0274(42), 30169\u201330181 (1999)","journal-title":"The Journal of Biological Chemistry"},{"key":"3_CR10","unstructured":"Koch, I., Heiner, M.: Qualitative modelling and analysis of biochemical pathways with petri nets. In: Tutorial Notes, 5th Int. Conference on Systems Biology - ICSB 2004, Heidelberg\/Germany (October 2004)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation","author":"M. Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: Probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol.\u00a02324, pp. 200\u2013204. Springer, Heidelberg (2002)"},{"key":"3_CR12","first-page":"341","volume":"5","author":"H. Matsuno","year":"2000","unstructured":"Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid petri net representation of gene regulatory network. Pacific Symposium on Biocomputing\u00a05, 341\u2013352 (2000)","journal-title":"Pacific Symposium on Biocomputing"},{"key":"3_CR13","unstructured":"Parker, D., Norman, G., Kwiatkowska, M.: PRISM 2.1 Users\u2019 Guide. In: The University of Birmingham (September 2004)"},{"key":"3_CR14","unstructured":"PRISM Web page, http:\/\/www.cs.bham.ac.uk\/~dxp\/prism\/"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/S0020-0190(01)00214-9","volume":"80","author":"C. Priami","year":"2001","unstructured":"Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name passing calculus to representation and simulation of molecular processes. Information Processing Letters\u00a080, 25\u201331 (2001)","journal-title":"Information Processing Letters"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"1513","DOI":"10.1042\/BST0311513","volume":"31","author":"J.W. Pinney","year":"2003","unstructured":"Pinney, J.W., Westhead, D.R., McConkey, G.A.: Petri Net representations in systems biology. Biochem. Soc. Trans.\u00a031, 1513\u20131515 (2003)","journal-title":"Biochem. Soc. Trans."},{"issue":"170","key":"3_CR17","first-page":"136","volume":"1","author":"L. Popova-Zeugmann","year":"2004","unstructured":"Popova-Zeugmann, L., Heiner, M., Koch, I.: Modelling and analysis of biochemical networks with time petri nets. Informatik-Berichte der HUB Nr. 170\u00a01(170), 136\u2013143 (2004)","journal-title":"Informatik-Berichte der HUB Nr. 170"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using \u03c0-calculus process algebra. In: Pacific Symposium on Biocomputing 2001 (PSB 2001), pp. 459\u2013470 (2001)","DOI":"10.1142\/9789814447362_0045"},{"key":"3_CR19","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.D., Muller, G.: Computational modelling of the dynamics of the map kinase cascade activated by surface and internalised egf receptors. Nature Biotechnology\u00a020, 370\u2013375 (2002)","journal-title":"Nature Biotechnology"},{"key":"3_CR20","volume-title":"Computational Analysis of Biochemical Systems","author":"E.O. Voit","year":"2000","unstructured":"Voit, E.O.: Computational Analysis of Biochemical Systems. Cambridge University Press, Cambridge (2000)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Computational Systems Biology VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11880646_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:27:34Z","timestamp":1619494054000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11880646_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540457794","9783540462361"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11880646_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}