{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,26]],"date-time":"2025-07-26T09:05:57Z","timestamp":1753520757932,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319232669"},{"type":"electronic","value":"9783319232676"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23267-6_19","type":"book-chapter","created":{"date-parts":[[2015,8,21]],"date-time":"2015-08-21T16:52:22Z","timestamp":1440175942000},"page":"291-305","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction"],"prefix":"10.1007","author":[{"given":"Cheng","family":"Feng","sequence":"first","affiliation":[]},{"given":"Jane","family":"Hillston","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,22]]},"reference":[{"issue":"4","key":"19_CR1","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/S0040-5809(03)00104-7","volume":"64","author":"LJ Allen","year":"2003","unstructured":"Allen, L.J., Allen, E.J.: A comparison of three different stochastic population models with regard to persistence time. Theoretical Population Biology 64(4), 439\u2013449 (2003)","journal-title":"Theoretical Population Biology"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science (Lecture Notes in Bioinformatics)","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/11880646_3","volume-title":"Transactions on Computational Systems Biology VI","author":"M Calder","year":"2006","unstructured":"Calder, M., Vyshemirsky, V., Gilbert, D., Orton, R.: Analysis of Signalling Pathways Using Continuous Time Markov Chains. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 44\u201367. Springer, Heidelberg (2006)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.ress.2014.05.010","volume":"130","author":"D Cerotti","year":"2014","unstructured":"Cerotti, D., Gribaudo, M., Bobbio, A.: Markovian agents models for wireless sensor networks deployed in environmental protection. Rel. Eng. & Sys. Safety 130, 149\u2013158 (2014)","journal-title":"Rel. Eng. & Sys. Safety"},{"issue":"1","key":"19_CR4","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1109\/TSE.2010.82","volume":"38","author":"M Tribastone","year":"2012","unstructured":"Tribastone, M., Gilmore, S., Hillston, J.: Scalable differential analysis of process algebra models. IEEE Transactions on Software Engineering 38(1), 205\u2013219 (2012)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Guenther, M.C., Stefanek, A., Bradley, J.T.: Moment Closures for Performance Models with Highly Non-linear Rates. In: Tribastone, M., Gilmore, S. (eds.) UKPEW 2012 and EPEW 2012. LNCS, vol. 7587, pp. 32\u201347. Springer, Heidelberg (2013)","key":"19_CR5","DOI":"10.1007\/978-3-642-36781-6_3"},{"key":"19_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-319-05119-2_2","volume-title":"Trustworthy Global Computing","author":"J Hillston","year":"2014","unstructured":"Hillston, J.: Challenges for Quantitative Analysis of Collective Adaptive Systems. In: Abadi, M., Lluch Lafuente, A. (eds.) TGC 2013. LNCS, vol. 8358, pp. 14\u201321. Springer, Heidelberg (2014)"},{"issue":"1","key":"19_CR7","doi-asserted-by":"publisher","first-page":"1333","DOI":"10.1016\/j.proci.2004.08.145","volume":"30","author":"T Lu","year":"2005","unstructured":"Lu, T., Law, C.K.: A directed relation graph method for mechanism reduction. Proceedings of the Combustion Institute 30(1), 1333\u20131341 (2005)","journal-title":"Proceedings of the Combustion Institute"},{"issue":"1","key":"19_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.combustflame.2007.10.020","volume":"154","author":"P Pepiot-Desjardins","year":"2008","unstructured":"Pepiot-Desjardins, P., Pitsch, H.: An efficient error-propagation-based reduction method for large chemical kinetic mechanisms. Combustion and Flame 154(1), 67\u201381 (2008)","journal-title":"Combustion and Flame"},{"issue":"9","key":"19_CR9","doi-asserted-by":"publisher","first-page":"1760","DOI":"10.1016\/j.combustflame.2009.12.022","volume":"157","author":"KE Niemeyer","year":"2010","unstructured":"Niemeyer, K.E., Sung, C.J., Raju, M.P.: Skeletal mechanism generation for surrogate fuels using directed relation graph with error propagation and sensitivity analysis. Combustion and Flame 157(9), 1760\u20131770 (2010)","journal-title":"Combustion and Flame"},{"key":"19_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/978-3-319-10696-0_22","volume-title":"Quantitative Evaluation of Systems","author":"C Feng","year":"2014","unstructured":"Feng, C., Hillston, J.: PALOMA: A Process Algebra for Located Markovian Agents. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 265\u2013280. Springer, Heidelberg (2014)"},{"issue":"5","key":"19_CR11","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/j.peva.2013.01.001","volume":"70","author":"L Bortolussi","year":"2013","unstructured":"Bortolussi, L., Hillston, J., Latella, D., Massink, M.: Continuous approximation of collective system behaviour: A tutorial. Performance Evaluation 70(5), 317\u2013349 (2013)","journal-title":"Performance Evaluation"},{"issue":"25","key":"19_CR12","doi-asserted-by":"publisher","first-page":"2340","DOI":"10.1021\/j100540a008","volume":"81","author":"DT Gillespie","year":"1977","unstructured":"Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. The Journal of Physical Chemistry 81(25), 2340\u20132361 (1977)","journal-title":"The Journal of Physical Chemistry"},{"key":"19_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/3-540-45657-0_17","volume-title":"Computer Aided Verification","author":"HLS Younes","year":"2002","unstructured":"Younes, H.L.S., Simmons, R.G.: Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 223\u2013235. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23267-6_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T14:54:11Z","timestamp":1676472851000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23267-6_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319232669","9783319232676"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23267-6_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"22 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}