{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T13:34:52Z","timestamp":1742391292837},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540958840"},{"type":"electronic","value":"9783540958857"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-95885-7_2","type":"book-chapter","created":{"date-parts":[[2009,1,14]],"date-time":"2009-01-14T23:07:19Z","timestamp":1231974439000},"page":"13-28","source":"Crossref","is-referenced-by-count":9,"title":["An Introduction to BioModel Engineering, Illustrated for Signal Transduction Pathways"],"prefix":"10.1007","author":[{"given":"David","family":"Gilbert","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rainer","family":"Breitling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robin","family":"Donaldson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/3-540-61474-5_75","volume-title":"Computer Aided Verification","author":"A. Aziz","year":"1996","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Verifying Continuous-Time Markov Chains. In: Alur, R., Henzinger, T.A. (eds.) CAV 1996. LNCS, vol.\u00a01102, pp. 269\u2013276. Springer, Heidelberg (1996)"},{"key":"2_CR2","unstructured":"Baier, C.: On Algorithmic Verification Methods for Probabilistic Systems. Habilitation thesis, University of Mannheim (1998)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0014-5793(00)02037-8","volume":"482","author":"F.A. Brightman","year":"2000","unstructured":"Brightman, F.A., Fell, D.A.: Differential feedback regulation of the mapk cascade underlies the quantitative differences in egf and ngf signalling in pc12 cells. FEBS Lett.\u00a0482, 169\u2013174 (2000)","journal-title":"FEBS Lett."},{"issue":"5","key":"2_CR4","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1093\/bib\/bbn026","volume":"9","author":"R. Breitling","year":"2008","unstructured":"Breitling, R., Gilbert, D., Heiner, M., Orton, R.J.: A structured approach for the engineering of biochemical network models, illustrated for signalling pathways. Briefings in Bioinformatics\u00a09(5), 404\u2013421 (2008)","journal-title":"Briefings in Bioinformatics"},{"key":"2_CR5","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":"2_CR6","volume-title":"Model checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. MIT Press, Cambridge (1999) (third printing, 2001)"},{"key":"2_CR7","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":"2_CR8","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-88562-7_20","volume-title":"Computational Methods in Systems Biology","author":"R. Donaldson","year":"2008","unstructured":"Donaldson, R., Gilbert, D.: A model checking approach to the parameter estimation of biochemical pathways. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol.\u00a05307, pp. 269\u2013287. Springer, Heidelberg (2008)"},{"key":"2_CR9","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75140-3_4","volume-title":"Computational Methods in Systems Biology","author":"F. Fages","year":"2007","unstructured":"Fages, F., Rizk, A.: On the analysis of numerical data time series in temporal logic. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 48\u201363. Springer, Heidelberg (2007)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/11767589_11","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"D. Gilbert","year":"2006","unstructured":"Gilbert, D., Heiner, M.: From petri nets to differential equations - an integrative approach for biochemical network analysis. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol.\u00a04024, pp. 181\u2013200. Springer, Heidelberg (2006)"},{"key":"2_CR11","series-title":"Lecture Notes in Bioinformatics","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-75140-3_14","volume-title":"Computational Methods in Systems Biology","author":"D. Gilbert","year":"2007","unstructured":"Gilbert, D., Heiner, M., Lehrack, S.: A unifying framework for modelling and analysing biochemical pathways using petri nets. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol.\u00a04695, pp. 200\u2013216. Springer, Heidelberg (2007)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-68894-5_7","volume-title":"Formal Methods for Computational Systems Biology","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Gilbert, D., Donaldson, R.: Petri nets for systems and synthetic biology. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.\u00a05016, pp. 215\u2013264. Springer, Heidelberg (2008)"},{"issue":"5","key":"2_CR13","doi-asserted-by":"publisher","first-page":"512","DOI":"10.1007\/BF01211866","volume":"6","author":"H. Hansson","year":"1994","unstructured":"Hansson, H., Jonsson, B.: A Logic for Reasoning about Time and Reliability. Formal Aspects of Computing\u00a06(5), 512\u2013535 (1994)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR14","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 Lett.\u00a0579, 1891\u20131895 (2005)","journal-title":"FEBS Lett."},{"issue":"11","key":"2_CR15","doi-asserted-by":"publisher","first-page":"5818","DOI":"10.1073\/pnas.97.11.5818","volume":"97","author":"A. Levchenko","year":"2000","unstructured":"Levchenko, A., Bruck, J., Sternberg, P.W.: Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. Proc. Natl. Acad. Sci. USA\u00a097(11), 5818\u20135823 (2000)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-45510-8_1","volume-title":"Modeling and Verification of Parallel Processes","author":"S. Merz","year":"2001","unstructured":"Merz, S.: Model checking: A tutorial overview. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol.\u00a02067, pp. 3\u201338. Springer, Heidelberg (2001)"},{"key":"2_CR17","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)"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proc.of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proc.of the IEEE"},{"key":"2_CR19","first-page":"173","volume":"2","author":"R. Orton","year":"2008","unstructured":"Orton, R., Sturm, O.E., Gormand, A., Kolch, W., Gilbert, D.: Computational modelling reveals feedback redundancy within the epidermal growth factor receptor\/extracellular-signal regulated kinase signalling pathway. Systems Biology\u00a02, 173\u2013183 (2008)","journal-title":"Systems Biology"},{"key":"2_CR20","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/0304-3975(81)90110-9","volume":"13","author":"A. Pnueli","year":"1981","unstructured":"Pnueli, A.: The Temporal Semantics of Concurrent Programs. Theor. Comput. Sci.\u00a013, 45\u201360 (1981)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR21","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":"2_CR22","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 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"}],"container-title":["Lecture Notes in Computer Science","Membrane Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95885-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T17:41:59Z","timestamp":1551721319000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95885-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540958840","9783540958857"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95885-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}