{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T08:47:07Z","timestamp":1744793227230},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752103"},{"type":"electronic","value":"9783540752110"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75211-0_2","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:39:20Z","timestamp":1189219160000},"page":"2-17","source":"Crossref","is-referenced-by-count":3,"title":["Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won\u2019t Tell About the Equilibrium Distribution"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Barrett, R., Berry, M., Chan, T.F., Demmel, J., Donato, J.M., Dongarra, J., Eijkhout, V., Pozo, R., Romine, C., van der Vorst, H.: Templates for the Solution of Linear Systems: Building Blocks for Iterative Methods. Philadalphia: Society for Industrial and Applied Mathematics (1994), Also available as postscript file on, \n                    \n                      http:\/\/www.netlib.org\/templates\/Templates.html"},{"key":"2_CR2","unstructured":"Bell, A., Haverkort, B.R.: Serial and parallel out-of-core solution of linear systems arising from generalised stochastic Petri net models. In: Tentner, A. (ed.) Proceedings High Performance Computing Symposium \u2014 HPC 2001. Society for Computer Simulation, pp. 242\u2013247 (2001)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"Ciardo, G., Trivedi, K.S.: A decomposition approach for stochastic reward net models. Performance Evaluation\u00a018(3), 37\u201359 (1993)","journal-title":"Performance Evaluation"},{"key":"2_CR4","first-page":"12","volume-title":"Proceedings of the 8th International Workshop on Petri Nets and Performance Models","author":"B.R. Haverkort","year":"1999","unstructured":"Haverkort, B.R., Bell, A., Bohnenkamp, H.: On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets. In: Proceedings of the 8th International Workshop on Petri Nets and Performance Models, pp. 12\u201321. IEEE Computer Society Press, Los Alamitos (1999)"},{"key":"2_CR5","unstructured":"IEEE standard 754: \n                    \n                      http:\/\/grouper.ieee.org\/groups\/754\/"},{"key":"2_CR6","unstructured":"Knottenbelt, W.J.: Parallel Performance Analysis of Large Markov Models. PhD thesis, University of London, Imperial College of Science, Technology and Medicine (1999)"},{"key":"2_CR7","unstructured":"Knottenbelt, W.J., Harrison, P.G.: Distributed disk-based solution techniques for large Markov models. In: Proceedings of the 3rd International Meeting on the Numerical Solution of Markov Chains, September 1999, pp. 58\u201375 (1999)"},{"key":"2_CR8","volume-title":"Numerical Recipes in C","author":"W.H. Press","year":"1993","unstructured":"Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical Recipes in C. Cambridge University Press, Cambridge (1993)"},{"issue":"1","key":"2_CR9","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1137\/0910004","volume":"10","author":"P. Sonneveld","year":"1989","unstructured":"Sonneveld, P.: CGS, a fast lanczos-type solver for nonsymmetric linear systems. SIAM Journal on Scientific and Statistical Computing\u00a010(1), 36\u201352 (1989)","journal-title":"SIAM Journal on Scientific and Statistical Computing"},{"key":"2_CR10","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 University Press, Princeton (1994)"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1287\/mnsc.29.4.395","volume":"29","author":"W. Whitt","year":"1983","unstructured":"Whitt, W.: Untold horrors of the waiting room: What the equilibrium distribution will never tell about the queue-length process. Management Science\u00a029(4), 395\u2013408 (1983)","journal-title":"Management Science"}],"container-title":["Lecture Notes in Computer Science","Formal Methods and Stochastic Models for Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75211-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:56:15Z","timestamp":1619520975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75211-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752103","9783540752110"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75211-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}