{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:55:20Z","timestamp":1725512120505},"publisher-location":"Berlin, Heidelberg","reference-count":82,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540724827"},{"type":"electronic","value":"9783540725220"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72522-0_1","type":"book-chapter","created":{"date-parts":[[2007,6,5]],"date-time":"2007-06-05T19:02:12Z","timestamp":1181070132000},"page":"1-33","source":"Crossref","is-referenced-by-count":5,"title":["Performance Modelling and Markov Chains"],"prefix":"10.1007","author":[{"given":"William J.","family":"Stewart","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"1_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1994","unstructured":"Ajmone Marsan, M., Balba, G., Conte, G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems. ACM Trans. Comput. Systems\u00a02(2), 93\u2013122 (1994)","journal-title":"ACM Trans. Comput. Systems"},{"key":"1_CR2","unstructured":"Basharin, G.P., Naoumov, V.A.: The life and work of A.A. Markov. In: Langville, A.N., Stewart, W.J. (eds.) Proceedings for the Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, Champaign, pp. 1\u201310 (2003)"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Solving Irregularly Structured Problems in Parallel","author":"S.C. Allmaier","year":"1997","unstructured":"Allmaier, S.C., Horton, G.: Parallel shared-memory state-space exploration in stochastic modelling. In: L\u00fcling, R., Bilardi, G., Ferreira, A., Rolim, J.D.P. (eds.) IRREGULAR 1997. LNCS, vol.\u00a01253, Springer, Heidelberg (1997)"},{"issue":"7","key":"1_CR4","doi-asserted-by":"publisher","first-page":"838","DOI":"10.1016\/j.future.2006.02.006","volume":"22","author":"A. Benoit","year":"2006","unstructured":"Benoit, A., Plateau, B., Stewart, W.J.: Memory-efficient Kronecker algorithms with applications to modelling parallel systems. Future Generation Computer Systems (FGCS) (Special Issue on System Performance Analysis and Evaluation)\u00a022(7), 838\u2013847 (2006)","journal-title":"Future Generation Computer Systems (FGCS)"},{"key":"1_CR5","unstructured":"Benzi, M.: A direct projection method for Markov chains. In: Langville, A.N., Stewart, W.J. (eds.) Proceedings for the Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, Champaign, pp. 11\u201330 (2003)"},{"key":"1_CR6","first-page":"11","volume-title":"Numerical Solution of Markov Chains","author":"S. Berson","year":"1991","unstructured":"Berson, S., de Souza e Silva, E., Muntz, R.R.: A methodology for the specification and generation of Markov models. In: Stewart, W.J. (ed.) Numerical Solution of Markov Chains, pp. 11\u201336. Marcel Dekker Inc., New York (1991)"},{"key":"1_CR7","first-page":"1","volume-title":"Computations with Markov Chains","author":"S. Berson","year":"1995","unstructured":"Berson, S., Muntz, R.R.: Detecting block GI\/M\/1 and block M\/G\/1 matrices from model specifications. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 1\u201319. Kluwer International Publishers, Boston (1995)"},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-1-4615-2241-6_2","volume-title":"Computations with Markov Chains","author":"D. Bini","year":"1995","unstructured":"Bini, D., Meini, B.: On cyclic reduction applied to a class of Toeplitz matrices arising in queueing problems. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 21\u201338. Kluwer Academic Publishers, Boston (1995)"},{"key":"1_CR9","unstructured":"Buchholz, P., Dayar, T.: Block SOR for Kronecker structured representations. In: Langville, A.N., Stewart, W.J. (eds.) Proceedings for the Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, Champaign, pp. 121\u2013144 (2003)"},{"key":"1_CR10","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/978-1-4615-2241-6_13","volume-title":"Computations with Markov Chains","author":"P. Buchholz","year":"1995","unstructured":"Buchholz, P.: Equivalence relations for stochastic automata networks. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 197\u2013215. Kluwer International Publishers, Boston (1995)"},{"key":"1_CR11","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1017\/S0269964800004782","volume":"11","author":"P. Buchholz","year":"1997","unstructured":"Buchholz, P.: An aggregation-disaggregation algorithm for stochastic automata networks. Prob. in the Eng and Inf. Sci.\u00a011, 229\u2013254 (1997)","journal-title":"Prob. in the Eng and Inf. Sci."},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Application and Theory of Petri Nets 1995","author":"S. Caselli","year":"1995","unstructured":"Caselli, S., Conte, G., Marenzoni, P.: Parallel state space exploration for GSPN models. In: DeMichelis, G., D\u00edaz, M. (eds.) ICATPN 1995. LNCS, vol.\u00a0935, Springer, Heidelberg (1995)"},{"key":"1_CR13","doi-asserted-by":"publisher","first-page":"702","DOI":"10.1145\/3828.214137","volume":"32","author":"W.-L. Cao","year":"1985","unstructured":"Cao, W.-L., Stewart, W.J.: Iterative aggregation\/disaggregation techniques for nearly uncoupled Markov chains. Journal of the ACM\u00a032, 702\u2013719 (1985)","journal-title":"Journal of the ACM"},{"key":"1_CR14","unstructured":"Chakravarthy, S.R., Alfa, A.S. (eds.): Advances in matrix-analytic methods for stochastic models. Lecture Notes in Pure and Applied Mathematics (1998)"},{"key":"1_CR15","unstructured":"Ciardo, G., Muppala, J., Trivedi, K.S.: SPNP: stochastic Petri net package. In: Proceedings of the Third International Workshop on Petri Nets and Performance Models (PNPM89), Kyoto, Japan (1989)"},{"key":"1_CR16","unstructured":"Ciardo, G., Tilgner, M.: On the use of Kronecker operators for the solution of generalized stochastic Petri nets. ICASE Report 96\u201335, Hampton, VA (May 1996)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/BFb0022196","volume-title":"Computer Performance Evaluation Modelling Techniques and Tools","author":"G. Ciardo","year":"1997","unstructured":"Ciardo, G., Miner, A.S.: Storage alternatives for large structured state spaces. In: Marie, R., Plateau, B., Calzarossa, M.C., Rubino, G.J. (eds.) TOOLS 1997. LNCS, vol.\u00a01245, pp. 44\u201357. Springer, Heidelberg (1997)"},{"key":"1_CR18","volume-title":"Decomposability","author":"P.J. Courtois","year":"1977","unstructured":"Courtois, P.J.: Decomposability. Academic Press, New York (1977)"},{"key":"1_CR19","first-page":"54","volume-title":"International School of Physics \u201cEnrico Fermi\u201d","author":"C.A. Clarotti","year":"1984","unstructured":"Clarotti, C.A.: The Markov approach to calculating system reliability: Computational Problems. In: Serra, A., Barlow, R.E. (eds.) International School of Physics \u201cEnrico Fermi\u201d, Varenna, Italy, pp. 54\u201366. North-Holland Physics Publishing, Amsterdam (1984)"},{"key":"1_CR20","first-page":"161","volume-title":"Numerical Solution of Markov Chains","author":"J.N. Daigle","year":"1991","unstructured":"Daigle, J.N., Lucantoni, D.M.: Queueing systems having phase-dependent arrival and service rates. In: Stewart, W.J. (ed.) Numerical Solution of Markov Chains, pp. 161\u2013202. Marcel Dekker Inc., New York (1991)"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0166-5316(93)90025-P","volume":"18","author":"S. Donatelli","year":"1993","unstructured":"Donatelli, S.: Superposed stochastic automata: A class of stochastic Petri nets with parallel solution and distributed state space. Performance Evaluation\u00a018, 21\u201336 (1993)","journal-title":"Performance Evaluation"},{"key":"1_CR22","first-page":"223","volume-title":"Numerical Solution of Markov Chains","author":"A.I. Elwalid","year":"1991","unstructured":"Elwalid, A.I., Mitra, D., Stern, T.E.: Theory of statistical multiplexing of Markovian sources: Spectral expansions and algorithms. In: Stewart, W.J. (ed.) Numerical Solution of Markov Chains, pp. 223\u2013238. Marcel Dekker Inc., New York (1991)"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"Fernandes, P., Plateau, B., Stewart, W.J.: Efficient descriptor-vector multiplication in stochastic automata networks. Journal of the ACM\u00a045(3) (1998)","DOI":"10.1145\/278298.278303"},{"key":"1_CR24","unstructured":"Fourneau, J.-M., Lecoz, M., Quessette, F.: Algorithms for an irreducible and lumpable strong stochastic bound. In: Langville, A.N., Stewart, W.J. (eds.) Proceedings for the Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, Champaign, pp. 191\u2013206 (2003)"},{"key":"1_CR25","volume-title":"Computations with Markov Chains","author":"J.-M. Fourneau","year":"1995","unstructured":"Fourneau, J.-M., Quessette, F.: Graphs and stochastic automata networks. In: Stewart, W.J. (ed.) Computations with Markov Chains, Kluwer International Publishers, Boston (1995)"},{"key":"1_CR26","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1109\/PNPM.1993.393455","volume-title":"Proceedings of the 5th International Workshop on Petri Nets and Performance Models","author":"G. Franceschinis","year":"1993","unstructured":"Franceschinis, G., Muntz, R.: Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets. In: Proceedings of the 5th International Workshop on Petri Nets and Performance Models, Toulouse, France, October 1993, pp. 148\u2013157. IEEE Press, Los Alamitos (1993)"},{"issue":"2","key":"1_CR27","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1287\/opre.31.2.354","volume":"31","author":"S.B. Gershwin","year":"1983","unstructured":"Gershwin, S.B., Schick, I.C.: Modelling and analysis of three-stage transfer lines with unreliable machines and finite buffers. Operations Research\u00a031(2), 354\u2013380 (1983)","journal-title":"Operations Research"},{"key":"1_CR28","volume-title":"Matrix Computations","author":"G.H. Golub","year":"1989","unstructured":"Golub, G.H., Van Loan, C.F.: Matrix Computations, 2nd edn. The Johns Hopkins University Press, Baltimore (1989)","edition":"2"},{"key":"1_CR29","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0305-0548(77)90007-7","volume":"4","author":"W. Grassmann","year":"1977","unstructured":"Grassmann, W.: Transient solutions in Markovian queueing systems. Comput. Opns. Res.\u00a04, 47\u201356 (1977)","journal-title":"Comput. Opns. Res."},{"key":"1_CR30","doi-asserted-by":"crossref","first-page":"1107","DOI":"10.1287\/opre.33.5.1107","volume":"33","author":"W. Grassmann","year":"1985","unstructured":"Grassmann, W., Taksar, M.I., Heyman, D.P.: Regenerative analysis and steady state distributions. Operations Research\u00a033, 1107\u20131116 (1985)","journal-title":"Operations Research"},{"issue":"2","key":"1_CR31","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., Miller, D.R.: The randomization technique as modelling tool and solution procedure for transient Markov processes. Operations Research\u00a032(2), 343\u2013361 (1984)","journal-title":"Operations Research"},{"key":"1_CR32","volume-title":"Computations with Markov Chains","author":"J. Hillston","year":"1995","unstructured":"Hillston, J.: Computational Markovian modelling using a process algebra. In: Stewart, W.J. (ed.) Computations with Markov Chains, Kluwer International Publishers, Boston (1995)"},{"key":"1_CR33","unstructured":"Jafari, M.A., Shanthikumar, J.G.: Finite state spacially non-homogeneous quasi birth-death processes. Working Paper #85-009, Dept. of Industrial Engineering and Operations Research, Syracuse University, Syracuse, New York."},{"key":"1_CR34","volume-title":"Computations with Markov Chains","author":"P. Kemper","year":"1995","unstructured":"Kemper, P.: Closing the gap between classical and tensor based iteration techniques. In: Stewart, W.J. (ed.) Computations with Markov Chains, Kluwer International Publishers, Boston (1995)"},{"key":"1_CR35","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/0166-5316(95)00007-K","volume":"24","author":"R. Klevans","year":"1995","unstructured":"Klevans, R., Stewart, W.J.: From queueing networks to Markov chains: The XMarca interface. Performance Evaluation\u00a024, 23\u201345 (1995)","journal-title":"Performance Evaluation"},{"key":"1_CR36","doi-asserted-by":"publisher","first-page":"1630","DOI":"10.1109\/49.62851","volume":"8","author":"U. Krieger","year":"1990","unstructured":"Krieger, U., Muller-Clostermann, B., Sczittnick, M.: Modeling and analysis of communication systems based on computational methods for Markov chains. IEEE Journ. on Selec. Ar. in Comm.\u00a08, 1630\u20131648 (1990)","journal-title":"IEEE Journ. on Selec. Ar. in Comm."},{"key":"1_CR37","unstructured":"Knottenbelt, W.J.: Generalized Markovian analysis of timed transition systems. Master\u2019s thesis, University of Capetown (1995)"},{"key":"1_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-68061-6_14","volume-title":"Computer Performance Evaluation","author":"W.J. Knottenbelt","year":"1998","unstructured":"Knottenbelt, W.J., Mestern, M., Harrison, P.G., Kritzinger, P.S.: Probability, Parallelism and the State Space Exploration Problem. In: Puigjaner, R., Savino, N.N., Serra, B. (eds.) TOOLS 1998. LNCS, vol.\u00a01469, p. 165. Springer, Heidelberg (1998)"},{"key":"1_CR39","unstructured":"Latouche, G., Ramaswami, Y.: A logarithmic reduction algorithm for quasi birth and death processes. Technical Report, Bellcore TM-TSV-021374 and Universit\u00e9 Libre de Bruxelles, S\u00e9min. Th\u00e9or. Prob., Rapp. Tech. 92\/3 (1992)"},{"issue":"12","key":"1_CR40","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1109\/TCOM.1985.1096254","volume":"33","author":"S.Q. Li","year":"1985","unstructured":"Li, S.Q., Mark, J.W.: Performance of voice\/data integration on a TDM system. IEEE Trans. Communications\u00a033(12), 1265\u20131273 (1985)","journal-title":"IEEE Trans. Communications"},{"key":"1_CR41","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/978-1-4615-2241-6_22","volume-title":"Computations with Markov Chains","author":"C. Lindemann","year":"1995","unstructured":"Lindemann, C.: Exploiting isomorphisms and special structures in the analysis of Markov regenerative stochastic Petri nets. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 383\u2013402. Kluwer International Publishers, Boston (1995)"},{"key":"1_CR42","unstructured":"Malhotra, M., Trivedi, K.S.: Higher-order methods for transient analysis of stiff Markov chains. Duke University Technical Report DUKE-CCSR-91, Center for Computer Systems Research, Durham, USA (1991)"},{"key":"1_CR43","unstructured":"Marek, I., Szyld, D.B.: Algebraic Schwartz methods for the numerical solution of Markov chains. In: Langville, A.N., Stewart, W.J. (eds.) Proceedings for the Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, Champaign, pp. 45\u201356 (2003)"},{"key":"1_CR44","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0024-3795(84)90067-3","volume":"60","author":"D.F. McAllister","year":"1984","unstructured":"McAllister, D.F., Stewart, G.W., Stewart, W.J.: On a Rayleigh-Ritz refinement technique for nearly uncoupled stochastic matrices. Journal of Linear Algebra and Its Applications\u00a060, 1\u201325 (1984)","journal-title":"Journal of Linear Algebra and Its Applications"},{"key":"1_CR45","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1137\/1031050","volume":"31","author":"C.D. Meyer","year":"1989","unstructured":"Meyer, C.D.: Stochastic complementation, uncoupling Markov chains and the theory of nearly reducible systems. SIAM Rev.\u00a031, 240\u2013272 (1989)","journal-title":"SIAM Rev."},{"key":"1_CR46","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/s002110050303","volume":"78","author":"B. Meini","year":"1997","unstructured":"Meini, B.: New convergence results on functional techniques for the numerical solution of M\/G\/1 type Markov chains. Numer. Math\u00a078, 39\u201358 (1997)","journal-title":"Numer. Math"},{"issue":"4","key":"1_CR47","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1137\/1020098","volume":"20","author":"C.B. Moler","year":"1978","unstructured":"Moler, C.B., Van Loan, C.F.: Nineteen dubious ways to compute the exponential of a matrix. SIAM Review\u00a020(4), 801\u2013836 (1978)","journal-title":"SIAM Review"},{"key":"1_CR48","doi-asserted-by":"crossref","unstructured":"Muth, E.J., Yeralan, S.: Effect of buffer size on productivity of work stations that are subject to breakdowns. In: The 20th IEEE Conference on Decision and Control, pp. 643\u2013648 (1981)","DOI":"10.1109\/CDC.1981.269288"},{"key":"1_CR49","volume-title":"Matrix Geometric Solutions in Stochastic Models \u2013 An Algorithmic Approach","author":"M.F. Neuts","year":"1981","unstructured":"Neuts, M.F.: Matrix Geometric Solutions in Stochastic Models \u2013 An Algorithmic Approach. The Johns Hopkins University Press, Baltimore (1981)"},{"key":"1_CR50","volume-title":"Structured Stochastic Matrices of M\/G\/1 Type and Their Applications","author":"M.F. Neuts","year":"1989","unstructured":"Neuts, M.F.: Structured Stochastic Matrices of M\/G\/1 Type and Their Applications. Marcel Dekker, New York (1989)"},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"Philippe, B., Saad, Y., Stewart, W.J.: Numerical methods in Markov chains modeling. Operations Research\u00a040(6) (1992)","DOI":"10.1287\/opre.40.6.1156"},{"key":"1_CR52","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/978-1-4615-2241-6_7","volume-title":"Computations with Markov Chains","author":"B. Philippe","year":"1995","unstructured":"Philippe, B., Sidje, R.B.: Transient solutions of Markov processes by Krylov subspaces. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 95\u2013119. Kluwer International Publishers, Boston (1995)"},{"key":"1_CR53","doi-asserted-by":"crossref","unstructured":"Plateau, B.: On the stochastic structure of parallelism and synchronization models for distributed algorithms. In: Proc. ACM Sigmetrics Conference on Measurement and Modelling of Computer Systems, Austin, Texas (August 1985)","DOI":"10.1145\/317795.317819"},{"issue":"10","key":"1_CR54","doi-asserted-by":"publisher","first-page":"1093","DOI":"10.1109\/32.99196","volume":"17","author":"B. Plateau","year":"1991","unstructured":"Plateau, B., Atif, K.: Stochastic automata network for modelling parallel systems. IEEE Trans. on Software Engineering\u00a017(10), 1093\u20131108 (1991)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"Plateau, B., Fourneau, J.M., Lee, K.H.: PEPS: A package for solving complex Markov models of parallel systems. In: Puigjaner, R., Potier, D. (eds.) Modelling Techniques and Tools for Computer Performance Evaluation, Spain (September 1988)","DOI":"10.1007\/978-1-4613-0533-0_19"},{"key":"1_CR56","first-page":"25","volume-title":"Modelling and Tools for Performance Analysis","author":"M. Veran","year":"1985","unstructured":"Veran, M., Potier, D.: QNAP2: A portable environment for queueing systems modelling. In: Potier, D. (ed.) Modelling and Tools for Performance Analysis, pp. 25\u201363. Elsevier Science Publishers, Amsterdam (1985)"},{"key":"1_CR57","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1080\/15326348808807077","volume":"4","author":"V. Ramaswami","year":"1988","unstructured":"Ramaswami, V.: A stable recursion for the steady state vector in Markov chains of M\/G\/1 type. Commun. Statist. Stochastic Models\u00a04, 183\u2013188 (1988)","journal-title":"Commun. Statist. Stochastic Models"},{"issue":"2","key":"1_CR58","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1137\/1030046","volume":"30","author":"V. Ramaswami","year":"1988","unstructured":"Ramaswami, V.: Nonlinear matrix equations in applied probability \u2014 Solution techniques and open problems. SIAM Review\u00a030(2), 256\u2013263 (1988)","journal-title":"SIAM Review"},{"key":"1_CR59","doi-asserted-by":"publisher","first-page":"498","DOI":"10.2307\/3213039","volume":"17","author":"V. Ramaswami","year":"1980","unstructured":"Ramaswami, V., Neuts, M.F.: Some explicit formulas and computational methods for infinite server queues with phase type arrivals. J. Appl. Probab.\u00a017, 498\u2013514 (1980)","journal-title":"J. Appl. Probab."},{"key":"1_CR60","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1080\/15326348508807007","volume":"1","author":"V. Ramaswami","year":"1985","unstructured":"Ramaswami, V., Lucantoni, D.M.: Stationary waiting time distributions in queues with phase-type service and in quasi-birth-and-death processes. Comm. Statist. Stochastic Models\u00a01, 125\u2013136 (1985)","journal-title":"Comm. Statist. Stochastic Models"},{"issue":"4","key":"1_CR61","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1080\/15326348908807130","volume":"5","author":"A. Reibman","year":"1989","unstructured":"Reibman, A., Trivedi, K.: Transient analysis of cumulative measures of Markov model behavior. Commu. Statist.-Stochastic Models\u00a05(4), 683\u2013710 (1989)","journal-title":"Commu. Statist.-Stochastic Models"},{"key":"1_CR62","volume-title":"Iterative solution of sparse linear systems","author":"Y. Saad","year":"1996","unstructured":"Saad, Y.: Iterative solution of sparse linear systems. PWS Publishing, New York (1996)"},{"key":"1_CR63","volume-title":"Numerical methods for large eigenvalue problems","author":"Y. Saad","year":"1992","unstructured":"Saad, Y.: Numerical methods for large eigenvalue problems. John Wiley & Sons, Chichester (1992)"},{"key":"1_CR64","unstructured":"Sbeity, I., Plateau, B., Brenner, L., Stewart, W.J.: Phase-Type Distributions in Stochastic Automata Networks. To appear in European Journal of Operations Research."},{"key":"1_CR65","first-page":"275","volume-title":"Mathematical Computer Performance and Reliability","author":"P.J. Schweitzer","year":"1984","unstructured":"Schweitzer, P.J.: Aggregation methods for large Markov chains. In: Iazeolla, G., Courtois, P.J., Hordijk, A. (eds.) Mathematical Computer Performance and Reliability, pp. 275\u2013286. North-Holland, Amsterdam (1984)"},{"key":"1_CR66","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-1-4615-2241-6_18","volume-title":"Computations with Markov Chains","author":"P. Semal","year":"1995","unstructured":"Semal, P.: Two bounding schemes for the steady state solution of Markov chains. In: Stewart, W.J. (ed.) Computations with Markov Chains, pp. 307\u2013320. Kluwer International Publishers, Boston (1995)"},{"key":"1_CR67","first-page":"1","volume-title":"MAM-2006, MArkov Anniversary Meeting: An International Conference to Celebrate the 150th Anniversary of the Birth of A.A. Markov","author":"E. Seneta","year":"2006","unstructured":"Seneta, E.: MArkov and the Creation of Markov Chains. In: MAM-2006, MArkov Anniversary Meeting: An International Conference to Celebrate the 150th Anniversary of the Birth of A.A. Markov, pp. 1\u201320. Boson Books, Raleigh (2006)"},{"key":"1_CR68","unstructured":"Sidje, R.B.: Parallel algorithms for large sparse matrix exponentials: Application to numerical transient analysis of Markov processes. PhD thesis, University of Rennes (1 July 1994)"},{"key":"1_CR69","doi-asserted-by":"crossref","unstructured":"Sidje, R.B.: Expokit. A software package for computing matrix exponentials. Accepted for publication in ACM-Transactions of Mathematical Software (1997)","DOI":"10.1145\/285861.285868"},{"key":"1_CR70","first-page":"411","volume-title":"Computer Performance Evaluation: Modeling Techniques and Tools","author":"M. Squillante","year":"1992","unstructured":"Squillante, M.: MAGIC: A computer performance modeling tool based on matrix geometric techniques. In: Balbo, G., Serazzi, G. (eds.) Computer Performance Evaluation: Modeling Techniques and Tools, pp. 411\u2013425. North-Holland Publishers, Amsterdam (1992)"},{"key":"1_CR71","volume-title":"An Introduction to the Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1994","unstructured":"Stewart, W.J.: An Introduction to the Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"issue":"3","key":"1_CR72","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0377-2217(94)00075-N","volume":"86","author":"W.J. Stewart","year":"1995","unstructured":"Stewart, W.J., Atif, K., Plateau, B.: The numerical solution of stochastic automata networks. European Journal of Operations Research\u00a086(3), 503\u2013525 (1995)","journal-title":"European Journal of Operations Research"},{"key":"1_CR73","unstructured":"Stewart, W.J.: Marca: Markov chain analyzer. IEEE Computer Repository No. R76 232 (1976), See the URL: http:\/\/www.csc.ncsu.edu\/faculty\/WStewart\/"},{"key":"1_CR74","unstructured":"School of Mathematics and Statistics University of St. Andrews, Scotland (December 1996), http:\/\/www-history.mcs.st-andrews.ac.uk\/history\/Mathematicians\/Markov.html"},{"key":"1_CR75","unstructured":"Vincent, J.-M., Marchand, C.: On the exact simulation of functional of stationary Markov chains. In: Langville, A.N., Stewart, W.J. (eds.) Proceedings for the Fourth International Conference on the Numerical Solution of Markov Chains, Urbana, Champaign, pp. 77\u201398 (2003)"},{"key":"1_CR76","first-page":"155","volume-title":"MAM-2006, MArkov Anniversary Meeting: An International Conference to Celebrate the 150th Anniversary of the Birth of A.A. Markov","author":"P. Hilgers Von","year":"2006","unstructured":"Von Hilgers, P., Langville, A.N.: The five greatest applications of Markov Chains. In: MAM-2006, MArkov Anniversary Meeting: An International Conference to Celebrate the 150th Anniversary of the Birth of A.A. Markov, pp. 155\u2013168. Boson Books, Raleigh (2006)"},{"key":"1_CR77","unstructured":"Wallace, V.I., Rosenberg, R.S.: RQA-1, The recursive queue analyzer. Technical report No.2, Systems Engineering Laboratory, University of Michigan, Ann Arbor (Feb. 1966)"},{"key":"1_CR78","unstructured":"Wallace, V.: The solution of quasi birth and death processes arising from multiple access computer systems. Ph.D. Dissertation, Systems Engineering Laboratory, University of Michigan, Tech. Report No. 07742-6-T (1969)"},{"issue":"1","key":"1_CR79","first-page":"1","volume":"14","author":"B. Wong","year":"1977","unstructured":"Wong, B., Giffin, W., Disney, R.L.: Two finite M\/M\/1 queues in tandem: A matrix solution for the steady state. OPSEARCH\u00a014(1), 1\u201318 (1977)","journal-title":"OPSEARCH"},{"key":"1_CR80","first-page":"203","volume-title":"Numerical Solution of Markov Chains","author":"T. Yang","year":"1991","unstructured":"Yang, T., Posner, M.J.M., Templeton, J.G.C.: A generalized recursive technique for finite Markov processes. In: Stewart, W.J. (ed.) Numerical Solution of Markov Chains, pp. 203\u2013221. Marcel Dekker Inc., New York (1991)"},{"key":"1_CR81","doi-asserted-by":"crossref","unstructured":"Ye, J., Li, S.Q.: Analysis of multi-media traffic queues with finite buffer and overload control \u2014 Part I: Algorithms. In: Proc. of INFOCOM \u201991, pp. 1464\u20131474 (1991)","DOI":"10.1109\/INFCOM.1991.147678"},{"key":"1_CR82","doi-asserted-by":"crossref","unstructured":"Ye, J., Li, S.Q.: Analysis of multi-media traffic queues with finite buffer and overload control \u2014 Part II: Applications. In: Proc. of INFOCOM \u201992, pp. 848\u2013859 (1992)","DOI":"10.1109\/INFCOM.1992.263494"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72522-0_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T06:16:41Z","timestamp":1683872201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72522-0_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540724827","9783540725220"],"references-count":82,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72522-0_1","relation":{},"subject":[]}}