{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:36Z","timestamp":1761596976979},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[1993,7,1]],"date-time":"1993-07-01T00:00:00Z","timestamp":741484800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Discrete Event Dyn Syst"],"published-print":{"date-parts":[[1993,7]]},"DOI":"10.1007\/bf01439850","type":"journal-article","created":{"date-parts":[[2006,7,7]],"date-time":"2006-07-07T22:41:47Z","timestamp":1152312107000},"page":"219-247","source":"Crossref","is-referenced-by-count":38,"title":["Specification techniques for Markov reward models"],"prefix":"10.1007","volume":"3","author":[{"given":"Boudewijn R.","family":"Haverkort","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishor S.","family":"Trivedi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"BF01439850_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. Ajmone Marsan","year":"1984","unstructured":"Ajmone Marsan, M., Conte, G., and Balbo, G. 1984. A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems.ACM Trans. Comput. Systems, 2(2), pp. 93\u2013122.","journal-title":"ACM Trans. Comput. Systems"},{"key":"BF01439850_CR2","unstructured":"Ammar, H.H., Islam, S.M.R., and Deng, S. 1989. Performability analysis of parallel and distributed algorithms.Proc. Third Int. Workshop Petri Nets and Performance Models, IEEE Computer Society Press, pp. 240\u2013248."},{"issue":"2","key":"BF01439850_CR3","doi-asserted-by":"publisher","first-page":"248","DOI":"10.1145\/321879.321887","volume":"22","author":"F. Baskett","year":"1975","unstructured":"Baskett, F., Muntz, R.R., Chandy, K.M., and Palacios, F.G. 1975. Open, closed and mixed networks of queues with different classes of customers.J. ACM, 22(2), pp. 248\u2013260.","journal-title":"J. ACM"},{"issue":"2","key":"BF01439850_CR4","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1109\/TR.1987.5222335","volume":"36","author":"S.J. Bavuso","year":"1987","unstructured":"Bavuso, S.J., Bechta Dugan, J., Trivedi, K.S., Rothmann, E.M., and Smith, W.E. 1987. Analysis of typical faulttolerant architectures using HARP.IEEE Trans. Reliability, 36(2), pp. 176\u2013185.","journal-title":"IEEE Trans. Reliability"},{"key":"BF01439850_CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-1-4613-0533-0_5","volume-title":"Modeling Techniques and Tools for Computer Performance Evaluation","author":"H. Beilner","year":"1989","unstructured":"Beilner, H. M\u00e4ter, J., and Weissenberg, N. 1989. Towards a performance modeling environment: news on HIT.Modeling Techniques and Tools for Computer Performance Evaluation (D. Potier and R. Puigjaner, eds.). New York: Plenum Press, pp. 57\u201375."},{"key":"BF01439850_CR6","unstructured":"Berson, S., de Souza e Silva, E., and Muntz, R.R. 1987. An object oriented methodology for the specification of Markov models.UCLA Technical Report CSD-870030."},{"key":"BF01439850_CR7","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-1-4613-0533-0_23","volume-title":"Modeling Techniques and Tools for Computer Performance Evaluation","author":"A. Bobbio","year":"1989","unstructured":"Bobbio, A. 1989. Petri nets generating Markov reward models for performance\/reliability analysis of degradable systems.Modeling Techniques and Tools for Computer Performance Evaluation (D. Potier and R. Puigjaner, eds.). New York: Plenum Press, pp. 353\u2013365."},{"key":"BF01439850_CR8","doi-asserted-by":"crossref","unstructured":"Buchholz, P. 1991.Die strukturierte Analyse Markoffscher Modelle, Informatik Fachberichte 282, Springer-Verlag.","DOI":"10.1007\/978-3-642-76923-8"},{"key":"BF01439850_CR9","doi-asserted-by":"crossref","unstructured":"Butler, R.W. 1986. The SURE reliability analysis program. NASA Technical Memorandum 87593.","DOI":"10.2514\/6.1986-2034"},{"key":"BF01439850_CR10","volume-title":"Modelation y Evaluacion de la Tolerancia a Fallos de Sistemas Distribuidos con Capacidad de Reconfiguracion","author":"J.A. Carrasco","year":"1986","unstructured":"Carrasco, J.A. 1986. Modelation y Evaluacion de la Tolerancia a Fallos de Sistemas Distribuidos con Capacidad de Reconfiguracion. Ph.D. thesis, University of Catalunya, Spain."},{"key":"BF01439850_CR11","unstructured":"Carrasco, J.A., and Figueras, J. 1986. Metfac: design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems.Proc. FTCS 16, IEEE Computer Society Press, pp. 424\u2013429."},{"key":"BF01439850_CR12","first-page":"323","volume-title":"Modeling Techniques and Performance Evaluation","author":"G. Chiola","year":"1987","unstructured":"Chiola, G. 1987. A graphical Petri net tool for performance analysis.Modeling Techniques and Performance Evaluation (S. Fdida and G. Pujolle, eds.). Amsterdam: North-Holland, pp. 323\u2013333."},{"key":"BF01439850_CR13","doi-asserted-by":"crossref","unstructured":"Ciardo, G., Blakemore, A., Chimento, P.F.J., Muppala, J.K., and Trivedi, K.S. 1992. Automated Generation and analysis of Markov reward models using stochastic reward nets.Linear Algebra, Markov Chains, and Queuing Models (C. Meyer and R.J. Plemmons, eds.). Vol. 48 ofIMA Volumes in Mathematics and Its Applications, Springer-Verlag.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"key":"BF01439850_CR14","unstructured":"Ciardo, G., Muppala, J., and Trivedi, K.S. 1989. SPNP: stochastic Petri net package.Proc. Third Workshop Petri Nets and Performance Models, IEEE Computer Society Press, pp. 142\u2013151."},{"issue":"4","key":"BF01439850_CR15","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/0166-5316(91)90003-L","volume":"12","author":"G. Ciardo","year":"1991","unstructured":"Ciardo, G., Muppala, J.K., and Trivedi, K.S. 1991. \u201cOn the solution of GSPN reward models.Perform. Eval. 12(4), pp. 237\u2013254.","journal-title":"Perform. Eval."},{"issue":"1","key":"BF01439850_CR16","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., and Trivedi, K.S. 1993. A decomposition approach for stochastic Petri net models. Perform. Eval. 18(1), pp. 37\u201359.","journal-title":"Perform. Eval."},{"key":"BF01439850_CR17","unstructured":"Conway, A.E., and Goyal, A. 1987. Monte Carlo simulation of computer systems availability\/reliability models.Proc. FTCS 17, IEEE Computer Society Press, pp. 230\u2013235."},{"key":"BF01439850_CR18","doi-asserted-by":"crossref","unstructured":"Couvillion, J.A., Freire, R., Johnson, R., Obal, W.D. II, Qureshi, A., Rai, M., Sanders, W.H., and Tvedt, J.E. 1991. Performability modeling with UltraSAN.IEEE Software, September, pp. 69\u201380.","DOI":"10.1109\/52.84218"},{"key":"BF01439850_CR19","unstructured":"Cumani, A. 1985. ESP\u2014a package for the evaluation of stochastic Petri nets with phase-type distributed transition times.Proc. Int. Workshop Timed Petri Nets, IEEE Computer Society Press, pp. 144\u2013151."},{"key":"BF01439850_CR20","volume-title":"The Formal Description Technique ESTELLE","year":"1989","unstructured":"Diaz, M., Ansart, P., Courtait, J.-P., Azema, P., and Chari, V. (eds.) 1989.The Formal Description Technique ESTELLE. Amsterdam: North-Holland."},{"issue":"1","key":"BF01439850_CR21","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1145\/7531.7536","volume":"34","author":"L. Donatiello","year":"1987","unstructured":"Donatiello, L., and Iyer, B.R. 1987. Analysis of a composite performance reliability measure for fault-tolerant systems.J. ACM, 34(1), pp. 179\u2013199.","journal-title":"J. ACM"},{"key":"BF01439850_CR22","volume-title":"The Formal Description Technique LOTOS","year":"1989","unstructured":"van Eijk, P.H.J., Vissers, C.A., and Diaz, M. (eds.). 1989.The Formal Description Technique LOTOS. Amsterdam: North-Holland."},{"issue":"7","key":"BF01439850_CR23","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R. Geist","year":"1990","unstructured":"Geist, R., and Trivedi, K.S. 1990. Reliability estimation of fault-tolerant systems: tools and techniques.IEEE Comput. 23(7), pp. 52\u201361.","journal-title":"IEEE Comput."},{"key":"BF01439850_CR24","unstructured":"Goyal, A., Carter, W.C., de Souza e Silva, E., Lavenberg, S.S., and Trivedi, K.S. 1986. The system availability estimator.Proc. FTCS 16, IEEE Computer Society Press, pp. 84\u201389."},{"issue":"6","key":"BF01439850_CR25","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1147\/rd.316.0651","volume":"31","author":"A. Goyal","year":"1987","unstructured":"Goyal, A., and Lavenberg, S.S. 1987. Modeling and analysis of computer system availability.IBM J. Res. Dev. 31(6), pp. 651\u2013664.","journal-title":"IBM J. Res. Dev."},{"key":"BF01439850_CR26","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/BF02187098","volume":"8","author":"A. Goyal","year":"1987","unstructured":"Goyal, A., Lavenberg, S.S., and Trivedi, K.S. 1987. Probabilistic modeling of computer system availabilityAnn. Oper. Res. 8, pp. 285\u2013306.","journal-title":"Ann. Oper. Res."},{"issue":"1","key":"BF01439850_CR27","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1109\/12.123381","volume":"41","author":"A. Goyal","year":"1992","unstructured":"Goyal, A., Shahabuddin, P., Heidelberger, P., Nicola, V.F., and Glynn, P.W. 1992. A unified framework for simulating Markovian models of highly dependable systems.IEEE Trans. Comput. 41(1), pp. 36\u201351.","journal-title":"IEEE Trans. Comput."},{"issue":"6","key":"BF01439850_CR28","doi-asserted-by":"crossref","first-page":"738","DOI":"10.1109\/TC.1987.1676966","volume":"36","author":"A. Goyal","year":"1987","unstructured":"Goyal, A., and Tantawi, A.N. 1987. Evaluation of performability for degradable computer systems.IEEE Trans. Comput., 36(6), pp. 738\u2013744.","journal-title":"IEEE Trans. Comput."},{"issue":"2","key":"BF01439850_CR29","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"Gross, D., and Miller, D.R. 1984. The randomization technique as a modeling tool and solution procedure for transient Markov processes.Oper. Res., 32(2), pp. 343\u2013361.","journal-title":"Oper. Res."},{"issue":"1","key":"BF01439850_CR30","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0166-5316(93)90027-R","volume":"18","author":"B.R. Haverkort","year":"1993","unstructured":"Haverkort, B.R. 1993. Approximate performability and dependability modeling using generalized stochastic Petri nets. Perform. Eval. 18(1), pp. 61\u201378.","journal-title":"Perform. Eval."},{"key":"BF01439850_CR31","unstructured":"Haverkort, B.R. 1990. Performability modeling tools, evaluation techniques, and applications. Ph.D. thesis, University of Twente."},{"key":"BF01439850_CR32","unstructured":"Haverkort, B.R., and Niemegeers, I.G., 1991. Performability modeling tools: a survey.Mem. Inform. 91\u201382, University of Twente."},{"issue":"1","key":"BF01439850_CR33","first-page":"225","volume":"17","author":"B.R. Haverkort","year":"1989","unstructured":"Haverkort, B.R., and Niemegeers, I.G. 1989. Using dynamic queuing networks as a tool for specifying performability models.ACM Performan. Eval. Rev. 17(1), p. 225.","journal-title":"ACM Performan. Eval. Rev."},{"key":"BF01439850_CR34","first-page":"181","volume-title":"Computer Performance Evaluation: Modeling Techniques and Tools","author":"B.R. Haverkort","year":"1992","unstructured":"Haverkort, B.R., Niemegeers, I.G., and Veldhuyzen van Zanten, P. 1992. DyQNtool\u2014a performability modeling tool based on the dynamic queuing network concept.Computer Performance Evaluation: Modeling Techniques and Tools (G. Balbo and G. Serazzi, eds.). Amsterdam: North-Holland, pp. 181\u2013195."},{"issue":"4","key":"BF01439850_CR35","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1109\/12.88469","volume":"40","author":"E. Heck","year":"1991","unstructured":"Heck, E., Hogrefe, D., and M\u00fcller-Clostermann, B. 1991. Hierarchical performance evaluation based on form specified communication protocols.IEEE Trans. Comput., 40(4), pp. 500\u2013513.","journal-title":"IEEE Trans. Comput."},{"key":"BF01439850_CR36","volume-title":"Communicating Sequential Processes","author":"C.A.R. Hoare","year":"1985","unstructured":"Hoare, C.A.R. 1985.Communicating Sequential Processes. Englewood Cliffs: Prentice-Hall."},{"key":"BF01439850_CR37","series-title":"Semi-Markov and Decision Processes","volume-title":"Dynamic Probabilisitc Systems","author":"R.A. Howard","year":"1971","unstructured":"Howard, R.A. 1971.Dynamic Probabilisitc Systems. Vol. II. Semi-Markov and Decision Processes. New York: Wiley."},{"issue":"9","key":"BF01439850_CR38","doi-asserted-by":"publisher","first-page":"1649","DOI":"10.1109\/49.62852","volume":"8","author":"O.C. Ibe","year":"1990","unstructured":"Ibe, O.C. and Trivedi, K.S. 1990. Stochastic Petri net models of polling systems.IEEE J. Selected Areas Comm., 8(9), pp. 1649\u20131657.","journal-title":"IEEE J. Selected Areas Comm."},{"key":"BF01439850_CR39","unstructured":"Johnson, S.C., and Butler, R.W. 1988. Automated generation of reliability models.Proc. 1988 Ann. Reliability and Maintainability Symp., pp. 17\u201322."},{"issue":"4","key":"BF01439850_CR40","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1145\/50020.50062","volume":"20","author":"A.M. Johnson Jr.","year":"1988","unstructured":"Johnson, A.M., Jr., and Malek, M. 1988. Survey of software tools for evaluating reliability, availability, and serviceability.ACM Comput. Surveys, 20(4), pp. 227\u2013269.","journal-title":"ACM Comput. Surveys"},{"key":"BF01439850_CR41","first-page":"269","volume-title":"Computer Performance Evaluation: Modeling Techniques and Tools","author":"G.I. Klas","year":"1992","unstructured":"Klas, G.I., Seidel, U.G. 1992. A subsystem identification algorithm for the approximate solution of large GSPN models.Computer Performance Evaluation: Modeling Techniques and Tools (G. Balbo and G. Serazzi, eds.). Amsterdam: North-Holland, pp. 269\u2013286."},{"issue":"9","key":"BF01439850_CR42","doi-asserted-by":"publisher","first-page":"1630","DOI":"10.1109\/49.62851","volume":"8","author":"U. Krieger","year":"1980","unstructured":"Krieger, U., M\u00fcller-Clostermann and Sczittnick, M. 1980. Modeling and analysis of communication systems based on computational methods for Markov chains.IEEE J. Areas Comm., 8(9), pp. 1630\u20131648.","journal-title":"IEEE J. Areas Comm."},{"key":"BF01439850_CR43","doi-asserted-by":"publisher","first-page":"932","DOI":"10.2307\/1427109","volume":"19","author":"V.G. Kulkarni","year":"1987","unstructured":"Kulkarni, V.G., Nicola, V.F., and Trivedi, K.S. 1987. The completion time of a job on multimode systems.Adv. Appl. Probab., 19, pp. 932\u2013954.","journal-title":"Adv. Appl. Probab."},{"issue":"4","key":"BF01439850_CR44","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1080\/15326349908807166","volume":"6","author":"V.G. Kulkarni","year":"1990","unstructured":"Kulkarni, V.G., Nicola, V.F., and Trivedi K.S. 1990 Effects of checkpointing and queuing on program performance.Stoch. Models, 6(4), pp. 615\u2013648.","journal-title":"Stoch. Models"},{"key":"BF01439850_CR45","unstructured":"Laprie, J.C. 1985. Dependable computing and fault-tolerance: concepts and terminology.Proc. FTCS 15, IEEE Computer Society Press, pp. 2\u20137."},{"key":"BF01439850_CR46","volume-title":"Quantitative System Performance: Computer System Analysis Using Queuing Network Models","author":"E.D. Lazowska","year":"1984","unstructured":"Lazowska, E.D., Zahorjan, J., Graham, G.S., and Sevcik, K.C. 1984.Quantitative System Performance: Computer System Analysis Using Queuing Network Models. Englewood Cliffs, NJ: Prentice-Hall."},{"key":"BF01439850_CR47","unstructured":"Lepold, R. 1991a. Tomspin: Benutzerhandbuch. Internal report Siemens AG."},{"key":"BF01439850_CR48","unstructured":"Lepold, R. 1991b. PENPET: a new approach to performability modeling using stochastic Petri nets.Proc. First Int. Workshop Performability Modeling of Computer and Communication Systems. (B.R. Haverkort, I.G. Niemegeers, and N.M. van Dijk, eds.). University of Twente, pp. 3\u201317."},{"key":"BF01439850_CR49","volume-title":"Proc. Fifth Int. Conf. Fault-Tolerant Computing Systems","author":"R. Lepold","year":"1991","unstructured":"Lepold, R. 1991c. Performability evaluation of a fault-tolerant computer system using stochastic Petri nets.Proc. Fifth Int. Conf. Fault-Tolerant Computing Systems, N\u00fcrnberg: Springer-Verlag."},{"issue":"10","key":"BF01439850_CR50","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/TCOM.1984.1095978","volume":"32","author":"V.O.K. Li","year":"1984","unstructured":"Li, V.O.K., and Silvester, J.A. 1984. Performance analysis of networks with unreliable components.IEEE Trans. Comm. 32(10), pp. 1105\u20131110.","journal-title":"IEEE Trans. Comm."},{"key":"BF01439850_CR51","unstructured":"Lindemann, C., and German, R., 1992. DSPNexpress: a software package for efficiently solving deterministic and stochastic Petri nets.Performance Tools 1992. (R. Pooley, and J. Hillston, eds.). Edinburgh University Press."},{"issue":"8","key":"BF01439850_CR52","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"29","author":"J.F. Meyer","year":"1980","unstructured":"Meyer, J.F. 1980. On evaluating the performability of degradable computer systems.IEEE Trans. Comput. 29(8), pp. 720\u2013731.","journal-title":"IEEE Trans. Comput."},{"issue":"7","key":"BF01439850_CR53","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1109\/TC.1982.1676062","volume":"31","author":"J.F. Meyer","year":"1982","unstructured":"Meyer, J.F. 1982. Closed-form solutions of performability.IEEE Trans. Comput. 31(7), pp. 648\u2013657.","journal-title":"IEEE Trans. Comput."},{"issue":"3&4","key":"BF01439850_CR54","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0166-5316(92)90002-X","volume":"14","author":"J.F. Meyer","year":"1992","unstructured":"Meyer, J.F. 1992. Performability: a retrospective and some pointers to the future.Perform. Eval., 14(3&4), pp. 139\u2013156.","journal-title":"Perform. Eval."},{"key":"BF01439850_CR55","unstructured":"Meyer, J.F., Movaghar, A., and Sanders, W.H. 1985. Stochastic activity networks: structure, behavior, and application.Proc. Int. Workshop Timed Petri Nets, IEEE Computer Society Press, pp. 106\u2013115."},{"issue":"9","key":"BF01439850_CR56","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M.K. Molloy","year":"1982","unstructured":"Molloy, M.K. 1982. Performance analysis using stochastic Petri nets.IEEE Trans. Comput., 31(9), pp. 913\u2013917.","journal-title":"IEEE Trans. Comput."},{"key":"BF01439850_CR57","doi-asserted-by":"crossref","unstructured":"Mulazzani, M., and Trivedi, K.S. 1986. Dependability prediction: comparison of tools and techniques.Proc. IFAC SAFECOMP, pp. 171\u2013178.","DOI":"10.1016\/B978-0-08-034801-8.50032-5"},{"key":"BF01439850_CR58","first-page":"141","volume-title":"Modeling Techniques and Tools for Computer Performance Analysis","author":"B. M\u00fcller-Clostermann","year":"1985","unstructured":"M\u00fcller-Clostermann, B. 1985. NUMAS\u2014a tool for the numerical analysis of computer systems.Modeling Techniques and Tools for Computer Performance Analysis (D. Potier, ed.). Amsterdam: North-Holland, pp. 141\u2013154."},{"issue":"12","key":"BF01439850_CR59","doi-asserted-by":"publisher","first-page":"1714","DOI":"10.1109\/12.40849","volume":"38","author":"R.R. Muntz","year":"1989","unstructured":"Muntz, R.R., de Souza e Silva, E., and Goyal, A. 1989. Bounding availability of repairable computer systems.IEEE Trans. Comput., 38(12), pp. 1714\u20131723.","journal-title":"IEEE Trans. Comput."},{"key":"BF01439850_CR60","unstructured":"Muppala, J.K., Sathaye, A., Howe, R., and Trivedi, K.S. Forthcoming. Dependability modeling of a heterogeneous VAXcluster system using stochastic reward nets.Hardware and Software Fault Tolerance in Parallel Computing Systems (D. Averesky, ed.) London: Ellis Horwood."},{"key":"BF01439850_CR61","first-page":"335","volume-title":"Computer Performance Evaluation: Modeling Techniques and Tools","author":"J.K. Muppula","year":"1992","unstructured":"Muppula, J.K., and Trivedi, K.S. 1992. Composite performance and availability analysis using a hierarchy of stochastic reward nets.Computer Performance Evaluation: Modeling Techniques and Tools (G. Balbo and G. Serazzi, eds.). Amsterdam: North-Holland, pp. 335\u2013349."},{"key":"BF01439850_CR62","volume-title":"Matrix Geometric Solutions in Stochastic Models\u2014An Algorithmic Approach","author":"M.F. Neuts","year":"1981","unstructured":"Neuts, M.F. 1981.Matrix Geometric Solutions in Stochastic Models\u2014An Algorithmic Approach. Baltimore: The Johns Hopkins University Press."},{"key":"BF01439850_CR63","volume-title":"Structured Matrices of M\/G\/1 Type and Their Applications","author":"M.F. Neuts","year":"1989","unstructured":"Neuts, M.F. 1989.Structured Matrices of M\/G\/1 Type and Their Applications. New York: Marcel Dekker."},{"issue":"10","key":"BF01439850_CR64","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1145\/74878.74907","volume":"24","author":"T.W. Page Jr.","year":"1989","unstructured":"Page Jr., T.W., Berson, S.E., Cheng, W.C., and Muntz, R.R. 1989. An object-oriented modeling environment.ACM Sigplan Notices, 24(10), pp. 287\u2013296.","journal-title":"ACM Sigplan Notices"},{"issue":"3","key":"BF01439850_CR65","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1109\/12.210174","volume":"42","author":"K.R. Pattipati","year":"1993","unstructured":"Pattipati, K.R., Li, Y., and Blom, H.A.P. 1993. A unified framework for the performability evaluation of fault-tolerant computer systems. IEEE Trans. Comp., 42(3), pp. 312\u2013326.","journal-title":"IEEE Trans. Comp."},{"key":"BF01439850_CR66","doi-asserted-by":"crossref","unstructured":"Plateau, B., Fourneau, J.-M., Lee, K.-H., 1990. PEPS: a package for solving complex Markov models of parallel systems.Modeling Techniques and Tools for Computer Performance Evaluation (E. Potier and R. Puigjaner eds.). pp. 291\u2013305.","DOI":"10.1007\/978-1-4613-0533-0_19"},{"key":"BF01439850_CR67","unstructured":"Potier, D. and Veran, M. 1986. The Markovian solver of QNAP2 and examples.Computer Networking and Performance Evaluation (T. Hasegawa, H. Takagi, and Y. Takahashi), pp. 259\u2013279."},{"key":"BF01439850_CR68","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/0377-2217(89)90335-4","volume":"40","author":"A.L. Reibman","year":"1989","unstructured":"Reibman, A.L., Smith, R., and Trivedi, K.S. 1989. Markov and Markov reward models transient analysis: an overview of numerical approaches.Europ. J. Oper. Res. 40, pp. 257\u2013267.","journal-title":"Europ. J. Oper. Res."},{"issue":"1","key":"BF01439850_CR69","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/0305-0548(88)90026-3","volume":"15","author":"A.L. Reibman","year":"1988","unstructured":"Reibman, A.L., and Trivedi, K.S., 1988. Numerical transient analysis of Markov models.Comput. Oper. Res., 15(1), pp. 19\u201336.","journal-title":"Comput. Oper. Res."},{"issue":"4","key":"BF01439850_CR70","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1080\/15326348908807130","volume":"5","author":"A.L. Reibman","year":"1989","unstructured":"Reibman, A.L., and Trivedi, K.S. 1989. Transient analysis of cumulative measures of Markov model behavior.Stoch. Models, 5(4), pp. 683\u2013710.","journal-title":"Stoch. Models"},{"issue":"2","key":"BF01439850_CR71","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"36","author":"R.A. Sahner","year":"1987","unstructured":"Sahner, R.A., and Trivedi, K.S. 1987. Reliability modeling using SHARPE.IEEE Trans. Reliability 36(2), pp. 186\u2013193.","journal-title":"IEEE Trans. Reliability"},{"issue":"1","key":"BF01439850_CR72","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1109\/13.204817","volume":"36","author":"R.A. Sahner","year":"1993","unstructured":"Sahner, R.A., and Trivedi, K.S. 1993. A software tool for learning about stochastic models.IEEE Trans. Educ., 36(1), pp. 56\u201361.","journal-title":"IEEE Trans. Educ."},{"key":"BF01439850_CR73","unstructured":"Sanders, W.H. 1988.Construction and solution of performability models based on stochastic activity networks. Ph.D. dissertation, University of Michigan."},{"key":"BF01439850_CR74","unstructured":"Sanders, W.H., and Meyer, J.F. 1987. Performability evaluation of distributed systems using stochastic activity networks.Proc. 1987 Int. workshop Petri Nets and Performance Models, IEEE Computer Society Press, pp. 111\u2013120."},{"issue":"1","key":"BF01439850_CR75","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/49.64901","volume":"9","author":"W.H. Sanders","year":"1991","unstructured":"Sanders, W.H., and Meyer, J.F. 1991. Reduced base model construction for stochastic activity network.IEEE J. Selected Areas Comm., 9(1), pp. 25\u201336.","journal-title":"IEEE J. Selected Areas Comm."},{"key":"BF01439850_CR76","unstructured":"Sczittnick, M., 1987.Techniken zur funktionalen und quantitativen Analyse von Markoffschen Rechensystemmodellen. M.Sc. thesis, University of Dortmund."},{"key":"BF01439850_CR77","doi-asserted-by":"crossref","unstructured":"Sczittnick, M., and M\u00fcller-Clostermann, B. 1990. MACOM\u2014a tool for the Markovian analysis of communication systems.Proc. Fourth Int. Conf. Data Communication Systems and Their Performance (R. Puigjaner, ed.), pp. 456\u2013470.","DOI":"10.1016\/B978-0-444-88756-6.50038-4"},{"issue":"4","key":"BF01439850_CR78","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1109\/12.2184","volume":"37","author":"R.M. Smith","year":"1988","unstructured":"Smith, R.M., Trivedi, K.S., and Ramesh, A.V. 1988. Performability analysis: measures, an algorithm and a case study.IEEE Trans. Comput. 37(4), pp. 406\u2013417.","journal-title":"IEEE Trans. Comput."},{"issue":"4","key":"BF01439850_CR79","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/TC.1986.1676765","volume":"35","author":"E. de Souza e Silva","year":"1986","unstructured":"de Souza e Silva, E., and Gail, H.R. 1986. Calculating cumulative operational time distributions of repairable computer systems.IEEE Trans. Comput., 35(4), pp. 322\u2013332.","journal-title":"IEEE Trans. Comput."},{"issue":"1","key":"BF01439850_CR80","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1145\/58562.59307","volume":"36","author":"E. de Souza e Silva","year":"1989","unstructured":"de Souza e Silva, E., and Gail, H.R., 1989. Calculating availability and performability measures of repairable computer systems using randomization.J. ACM 36(1), pp. 171\u2013193.","journal-title":"J. ACM"},{"issue":"3&4","key":"BF01439850_CR81","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/0166-5316(92)90003-Y","volume":"14","author":"E. de Souza e Silva","year":"1992","unstructured":"de Souza e Silva, E., and Gail, H.R. 1992. Performability analysis of computer systems; from model specification to solution.Perform. Eval. 14(3&4), pp. 157\u2013196.","journal-title":"Perform. Eval."},{"issue":"1","key":"BF01439850_CR82","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/149439.133100","volume":"20","author":"E. de Souza e Silva","year":"1992","unstructured":"de Souza e Silva, E., and Ochoa, P.M. 1992. State space exploration in Markov models.ACM Perform. Eval. Rev., 20(1), pp. 152\u2013166.","journal-title":"ACM Perform. Eval. Rev."},{"key":"BF01439850_CR83","volume-title":"MARCA: Markov chain analyzer.Numerical Solution of Markov Chains","author":"W.J. Stewart","year":"1991","unstructured":"Stewart, W.J. 1991. MARCA: Markov chain analyzer.Numerical Solution of Markov Chains (W.J. Steward, ed.). New York: Marcel Dekker."},{"key":"BF01439850_CR84","unstructured":"Stewart, W.J., Goyal, A. 1985. Matrix methods in large dependability models.IBM Res. Report RC 11485."},{"key":"BF01439850_CR85","volume-title":"Probability & Statistics with Reliability, Queuing, and Computer Science Applications","author":"K.S. Trivedi","year":"1982","unstructured":"Trivedi, K.S. 1982.Probability & Statistics with Reliability, Queuing, and Computer Science Applications. Englewood Cliffs, Prentice-Hall."},{"issue":"3&4","key":"BF01439850_CR86","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/0166-5316(92)90004-Z","volume":"14","author":"K.S. Trivedi","year":"1992","unstructured":"Trivedi, K.S., Muppala J.K., Woolet, S.P., and Haverkort, B.R. 1992. Composite performance and dependability analysis.Perform. Eval., 14(3&4), pp. 197\u2013215.","journal-title":"Perform. Eval."},{"key":"BF01439850_CR87","first-page":"25","volume-title":"Modeling Techniques and Tools for Computer Performance Evaluation","author":"M. Veran","year":"1985","unstructured":"Veran, M., and Potier, D. 1985. A portable environment for queuing system modeling.Modeling Techniques and Tools for Computer Performance Evaluation (D. Potier, ed.) Amsterdam: North-Holland, pp. 25\u201363."}],"container-title":["Discrete Event Dynamic Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439850.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/BF01439850\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439850","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01439850.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,14]],"date-time":"2022-05-14T22:15:41Z","timestamp":1652566541000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/BF01439850"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,7]]},"references-count":87,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1993,7]]}},"alternative-id":["BF01439850"],"URL":"https:\/\/doi.org\/10.1007\/bf01439850","relation":{},"ISSN":["0924-6703","1573-7594"],"issn-type":[{"value":"0924-6703","type":"print"},{"value":"1573-7594","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,7]]}}}