{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:49:05Z","timestamp":1725536945409},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642038440"},{"type":"electronic","value":"9783642038457"}],"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-642-03845-7_20","type":"book-chapter","created":{"date-parts":[[2009,8,26]],"date-time":"2009-08-26T06:41:17Z","timestamp":1251268877000},"page":"296-312","source":"Crossref","is-referenced-by-count":17,"title":["CSL Model Checking of Biochemical Networks with Interval Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Martin","family":"Schwarick","sequence":"first","affiliation":[]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Aziz, A., Sanwal, K., Singhal, V., Brayton, R.: Model checking continuous time Markov chains. ACM Trans. on Computational Logic\u00a01(1) (2000)","DOI":"10.1145\/343369.343402"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"358","DOI":"10.1007\/10722167_28","volume-title":"Computer Aided Verification","author":"C. Baier","year":"2000","unstructured":"Baier, C., Haverkort, B., Hermanns, H., Katoen, J.-P.: Model checking Contiuous-Time Markov Chains by transient Analysis. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol.\u00a01855, pp. 358\u2013372. Springer, Heidelberg (2000)"},{"key":"20_CR3","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1038\/35002258","volume":"403","author":"N. Barkai","year":"2000","unstructured":"Barkai, N., Leibler, S.: Biological rhythms: Circadian clocks limited by noise. Nature\u00a0403, 267\u2013268 (2000)","journal-title":"Nature"},{"key":"20_CR4","first-page":"143","volume-title":"Proc. ACSD 2006","author":"D. Cerotti","year":"2006","unstructured":"Cerotti, D., D\u2019Aprile, D., Donatelli, S., Sproston, J.: Verifying stochastic well-formed nets with CSL model checking tools. In: Proc. ACSD 2006, pp. 143\u2013152. IEEE Computer Society, Los Alamitos (2006)"},{"issue":"6","key":"20_CR5","doi-asserted-by":"publisher","first-page":"578","DOI":"10.1016\/j.peva.2005.06.001","volume":"63","author":"G. Ciardo","year":"2006","unstructured":"Ciardo, G., Jones III, R.L., Miner, A.S., Siminiceanu, R.I.: Logic and stochastic modeling with smart. Perform. Eval.\u00a063(6), 578\u2013608 (2006)","journal-title":"Perform. Eval."},{"key":"20_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)"},{"key":"20_CR7","unstructured":"Calder, M., Vyshemirsky, V., Orton, R., Gilbert, D.: Analysis of Signalling Pathways using the PRISM model checker. In: Proc. CMSB 2005, pp. 179\u2013190. LFCS, Univ. of Edinburgh (2005)"},{"key":"20_CR8","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":"20_CR9","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":"20_CR10","unstructured":"Heiner, M., Donaldson, R., Gilbert, D.: Petri Nets for Systems Biology. In: Iyengar, M.S. (ed.) Symbolic Systems Biology: Theory and Methods, Jones and Bartlett Publishers, Inc. (in press, 2010)"},{"key":"20_CR11","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)"},{"key":"20_CR12","volume-title":"Proc. PNTAP 2008, associated to SIMUTools 2008","author":"M. Heiner","year":"2008","unstructured":"Heiner, M., Richter, R., Schwarick, M.: Snoopy - a tool to design and animate\/simulate graph-based formalisms. In: Proc. PNTAP 2008, associated to SIMUTools 2008. ACM digital library, New York (2008)"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-3-642-02424-5_20","volume-title":"Proc. Petri Nets 2009","author":"M. Heiner","year":"2009","unstructured":"Heiner, M., Schwarick, M., Tovchigrechko, A.: DSSZ-MC - A Tool for Symbolic Analysis of Extended Petri Nets. In: Franceschinis, G., Wolf, K. (eds.) Petri Nets 2009. LNCS, vol.\u00a05606, pp. 323\u2013332. Springer, Heidelberg (2009)"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/978-3-540-77966-7_9","volume-title":"Hardware and Software: Verification and Testing","author":"D.N. Jansen","year":"2008","unstructured":"Jansen, D.N., Katoen, J.-P., Oldenkamp, M., Stoelinga, M., Zapreev, I.: How fast and fat is your probabilistic model checker? In: Yorav, K. (ed.) HVC 2007. LNCS, vol.\u00a04899, pp. 69\u201385. Springer, Heidelberg (2008)"},{"issue":"4","key":"20_CR15","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/1364644.1364651","volume":"35","author":"M. Kwiatkowska","year":"2008","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Using probabilistic model checking in systems biology. ACM SIGMETRICS Performance Evaluation Review\u00a035(4), 14\u201321 (2008)","journal-title":"ACM SIGMETRICS Performance Evaluation Review"},{"issue":"11","key":"20_CR16","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":"20_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-48745-X_2","volume-title":"Application and Theory of Petri Nets 1999","author":"A.S. Miner","year":"1999","unstructured":"Miner, A.S., Ciardo, G.: Efficient Reachability Set Generation and Storage Using Decision Diagrams. In: Donatelli, S., Kleijn, J. (eds.) ICATPN 1999. LNCS, vol.\u00a01639, pp. 6\u201325. Springer, Heidelberg (1999)"},{"key":"20_CR18","unstructured":"Noack, A.: A ZBDD Package for Efficient Model Checking of Petri Nets (in German). Technical report, BTU Cottbus, Dep. of CS (1999)"},{"key":"20_CR19","unstructured":"Parker, D.: Implementation of Symbolic Model Checking for Probabilistic Systems. PhD thesis, University of Birmingham (2002)"},{"issue":"24","key":"20_CR20","doi-asserted-by":"publisher","first-page":"3412","DOI":"10.1093\/bioinformatics\/btm517","volume":"23","author":"J. Peccoud","year":"2007","unstructured":"Peccoud, J., Courtney, T., Sanders, W.H.: M\u00f6bius: an integrated discrete-event modeling environment. Bioinformatics\u00a023(24), 3412\u20133414 (2007)","journal-title":"Bioinformatics"},{"key":"20_CR21","unstructured":"Parker, D., Norman, G., Kwiatkowska, M.: PRISM 3.0.beta1 Users\u2019 Guide (2006)"},{"key":"20_CR22","unstructured":"Snoopy Website. A Tool to Design and Animate\/Simulate Graphs. BTU Cottbus (2008), \n                  \n                    http:\/\/www-dssz.informatik.tu-cottbus.de\/software\/snoopy.html"},{"key":"20_CR23","volume-title":"Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to the Numerical Solution of Markov Chains. Princeton Univ. Press, Princeton (1994)"},{"key":"20_CR24","unstructured":"Tovchigrechko, A.: Model Checking Using Interval Decision Diagrams. PhD thesis, BTU Cottbus, Dep. of CS (2008)"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03845-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T14:17:07Z","timestamp":1552141027000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03845-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642038440","9783642038457"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03845-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}