{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:19:32Z","timestamp":1742617172010,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":81,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540580218"},{"type":"electronic","value":"9783540484165"}],"license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","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":[[1994]]},"DOI":"10.1007\/3-540-58021-2_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:05:44Z","timestamp":1330268744000},"page":"1-24","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Techniques and tools for reliability and performance evaluation: Problems and perspectives"],"prefix":"10.1007","author":[{"given":"Kishor S.","family":"Trivedi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn R.","family":"Haverkort","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Rindos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Varsha","family":"Mainkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"M. Ajmone-Marsan and G. Chiola. On Petri nets with deterministic and exponentially distributed firing times. In Lecture Notes in Computer Science, volume 266, pages 132\u2013145. Springer-Verlag, 1987.","DOI":"10.1007\/3-540-18086-9_23"},{"issue":"2","key":"1_CR2","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1145\/190.191","volume":"2","author":"M. A. Marsan","year":"1984","unstructured":"M. Ajmone Marsan, G. Conte, G. Balbo, \u201cA Class of Generalized Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems\u201d, ACM Transactions on Computer Systems 2(2), pp.93\u2013122, 1984.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"10","key":"1_CR3","doi-asserted-by":"crossref","first-page":"1251","DOI":"10.1109\/12.5986","volume":"37","author":"G. Balbo","year":"1988","unstructured":"G. Balbo, S.C. Bruell, S. Ghanta, \u201cCombining Queueing Networks and Stochastic Petri Nets for the Solution of Complex Models of System Behaviour\u201d, IEEE Transactions on Computers 37(10), pp.1251\u20131268, 1988.","journal-title":"IEEE Transactions on Computers"},{"issue":"2","key":"1_CR4","doi-asserted-by":"crossref","first-page":"176","DOI":"10.1109\/TR.1987.5222335","volume":"36","author":"S. J. Bavuso","year":"1987","unstructured":"S.J. Bavuso, J. Bechta Dugan, K.S. Trivedi, E.M. Rothmann, W.E. Smith, \u201cAnalysis of Typical Fault-Tolerant Architectures using HARP\u201d, IEEE Transactions on Reliability 36(2), pp.176\u2013185, 1987.","journal-title":"IEEE Transactions on Reliability"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"H. Beilner, J. M\u00e4ter, N. Weissenberg, \u201cTowards a Performance Modelling Environment: News on HIT\u201d, in: Modelling Techniques and Tools for Computer Performance Evaluation, Editors: D. Potier, R. Puigjaner, Plenum Press, pp.57\u201375, 1989.","DOI":"10.1007\/978-1-4613-0533-0_5"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"A. Bobbio, \u201cPetri Nets Generating Markov Reward Models for Performance\/Reliability Analysis of Degradable Systems\u201d, in: Modelling Techniques and Tools for Computer Performance Evaluation, Editors: D. Potier, R. Puigjaner, Plenum Press, pp.353\u2013365, 1989.","DOI":"10.1007\/978-1-4613-0533-0_23"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"P. Buchholz, Die strukturierte Analyse Markoffscher Modelle, Informatik Fachberichte 282, Springer Verlag, 1991.","DOI":"10.1007\/978-3-642-76923-8"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"R.W. Butler, \u201cThe SURE Reliability Analysis Program\u201d, NASA Technical Memorandum 87593, 1986.","DOI":"10.2514\/6.1986-2034"},{"issue":"9","key":"1_CR9","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/362342.362345","volume":"16","author":"J. P. Buzen","year":"1973","unstructured":"J. P. Buzen. Computational algorithms for closed queueing networks with exponential servers. Commun. ACM., 16(9):527\u2013531, Sept. 1973.","journal-title":"Commun. ACM."},{"key":"1_CR10","volume-title":"PhD thesis","author":"J. A. Carrasco","year":"1986","unstructured":"J.A. Carrasco, Modelacion y Evaluacion de la Tolerancia a Fallos de Sistemas Distribuidos con Capacidad de Reconfiguracion, PhD thesis, University of Catalunya, Spain, 1986."},{"key":"1_CR11","unstructured":"J.A. Carrasco, J. Figueras, \u201cMetfac: Design and Implementation of a Software Tool for Modeling and Evaluation of Complex Fault-Tolerant Computing Systems\u201d, Proceedings FTCS 16, IEEE Computer Society Press, pp.424\u2013429, 1986."},{"key":"1_CR12","unstructured":"G. Chiola, \u201cA Graphical Petri Net Tool for Performance Analysis\u201d, in: Modelling Techniques and Performance Evaluation, Editors: S. Fdida, G. Pujolle, North-Holland, pp.323\u2013333, 1987."},{"key":"1_CR13","unstructured":"H. Choi, V. G. Kulkarni, and K. S. Trivedi. Markov Regenerative Stochastic Petri Nets. In 16th IFIP W.G. 7.3 Int'l Sym. on Computer Performance Modelling, Measurement and Evaluation (Performance'93), Rome, Italy, Sep. 1993."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"G. Ciardo, J. Muppala, K.S. Trivedi, \u201cSPNP: Stochastic Perti Net Package\u201d, Proceedings of the Third International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, pp.142\u2013151, 1989.","DOI":"10.1109\/PNPM.1989.68548"},{"key":"1_CR15","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0743-7315(92)90007-A","volume":"15","author":"G. Ciardo","year":"1992","unstructured":"G. Ciardo, J. Muppala, and K. Trivedi, \u201cAnalyzing Concurrent and Fault-Tolerant Software using Stochastic Reward Nets\u201d, Journal of Parallel and Distributed Computing, Vol. 15, pp. 255\u2013269, 1992.","journal-title":"Journal of Parallel and Distributed Computing"},{"key":"1_CR16","doi-asserted-by":"crossref","unstructured":"G. Ciardo, A. Blakemore, P.F.J. Chimento, J.K. Muppala, K.S. Trivedi, \u201cAutomated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets\u201d, in: Linear Algebra, Markov Chains, and Queueing Models, Editors: C. Meyer and R. J. Plemmons, Vol.48 of IMA Volumes in Mathematics and its Applications, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4613-8351-2_11"},{"issue":"No.1","key":"1_CR17","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1016\/0166-5316(93)90026-Q","volume":"18","author":"G. Ciardo","year":"1993","unstructured":"G. Ciardo, and K. S. Trivedi, \u201cDecomposition Approach for Stochastic Reward Net Models\u201d, Performance Evaluation, Vol. 18, No. 1, pp. 37\u201359, July 1993.","journal-title":"Performance Evaluation"},{"key":"1_CR18","unstructured":"J. L. Coleman, W. Henderson, P. G. Taylor, Product Form Equilibrium Distributions and a Convolution Algorithm for Stochastic Petri Nets Research Report, University of Adelaide, 1992"},{"key":"1_CR19","unstructured":"A. J. Coyle, W. Henderson, P. G. Taylor, \u201cReduced Load Approximations for Loss Networks\u201d, to appear in Telecommunications Systems."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"J. A. Couvillion, R. Freire, R. Johnson, W.D. Obal II, A. Qureshi, M. Rai, W.H. Sanders, J.E. Tvedt, \u201cPerformability Modelling with UltraSAN\u201d, IEEE Software, pp.69\u201380, September 1991.","DOI":"10.1109\/52.84218"},{"key":"1_CR21","unstructured":"A. Cumani, \u201cESP\u2014A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times\u201d, Proceedings of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, pp.144\u2013151, 1985."},{"issue":"No.3","key":"1_CR22","doi-asserted-by":"crossref","first-page":"319","DOI":"10.2514\/3.20109","volume":"9","author":"J. B. Dugan","year":"1986","unstructured":"J. Bechta Dugan, R. Geist and M. Smotherman, \u201cThe Hybrid Automated Reliability Predictor\u201d, AIAA Journal on Guidance, Control and Dynamics, Vol. 9, No. 3, May\u2013June 1986, pp. 319\u2013331.","journal-title":"AIAA Journal on Guidance, Control and Dynamics"},{"key":"1_CR23","doi-asserted-by":"crossref","unstructured":"R. Geist, M. Smotherman, K. S. Trivedi, J. Bechta Dugan, \u201cReliability Analysis of Life-Critical Systems\u201d, Acta Informatica, Vol. 23, No. 6, Nov. 1986.","DOI":"10.1007\/BF00264310"},{"issue":"7","key":"1_CR24","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R. Geist","year":"1990","unstructured":"R. Geist, K.S. Trivedi, \u201cReliability Estimation of Fault-Tolerant Systems: Tools and Techniques\u201d, IEEE Computer 23(7), pp.52\u201361, 1990.","journal-title":"IEEE Computer"},{"key":"1_CR25","unstructured":"A. Goyal, W.C. Carter, E. de Souza e Silva, S.S. Lavenberg, K.S. Trivedi, \u201cThe System Availability Estimator\u201d, Proceedings FTCS 16, IEEE Computer Society Press, pp.84\u201389, 1986."},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"A. Goyal, P. Heidelberger, and P. Shahabuddin. Measure specific dynamic importance sampling for availability simulations. In A. Thesen, H. Grant, and W. D. Kelton, editors, Proc. of the 1987 Winter Simulation Conference, 1987.","DOI":"10.1145\/318371.318607"},{"issue":"2","key":"1_CR27","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1287\/opre.32.2.343","volume":"32","author":"D. Gross","year":"1984","unstructured":"D. Gross, D.R. Miller, \u201cThe Randomization Technique as a Modelling Tool and Solution Procedure for Transient Markov Processes\u201d, Operations Research 32(2), pp.343\u2013361, 1984.","journal-title":"Operations Research"},{"issue":"1","key":"1_CR28","first-page":"225","volume":"17","author":"B. R. Haverkort","year":"1989","unstructured":"B.R. Haverkort, I.G. Niemegeers, \u201cUsing Dynamic Queueing Networks as a Tool for Specifying Performability Models\u201d, ACM Performance Evaluation Review 17(1), p.225, 1989.","journal-title":"ACM Performance Evaluation Review"},{"key":"1_CR29","unstructured":"B.R. Haverkort, Performability Modelling Tools, Evaluation Techniques, and Applications, Ph.D. thesis, University of Twente, 1990."},{"key":"1_CR30","unstructured":"B.R. Haverkort, I.G. Niemegeers, P. Veldhuyzen van Zanten, \u201cDyQNtool\u2014A Performability Modelling Tool Based on the Dynamic Queueing Network Concept\u201d, in: Computer Performance Evaluation: Modelling Techniques and Tools, Editors: G. Balbo, G. Serazzi, North-Holland, pp.181\u2013195, 1992."},{"key":"1_CR31","doi-asserted-by":"crossref","unstructured":"B.R. Haverkort, \u201cApproximate Performability Modelling using Generalized Stochastic Petri Nets\u201d, Proceedings of the 1991 International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, 1991, pp.300\u2013309.","DOI":"10.1109\/PNPM.1991.238790"},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/BF01439850","volume":"3","author":"B. Haverkort","year":"1993","unstructured":"B. Haverkort and K. Trivedi. Specification and generation of Markov reward models. Discrete-Event Dynamic Systems: Theory and Applications 3, pp.219\u2013247, 1993.","journal-title":"Discrete-Event Dynamic Systems: Theory and Applications"},{"issue":"1","key":"1_CR33","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0166-5316(93)90027-R","volume":"18","author":"B. R. Haverkort","year":"1993","unstructured":"B.R. Haverkort, \u201cApproximate Performability and Dependability Modelling using Generalized Stochastic Petri Nets\u201d, Performance Evaluation 18(1), pp.61\u201378, 1993.","journal-title":"Performance Evaluation"},{"key":"1_CR34","unstructured":"B. R. Haverkort, A.P.A. van Moorsel, and D-J Speelman. Xmgm: Performance modeling using matrix geometric techniques. In Proceedings of the 2nd Int'l workshop on modeling, analysis and simulation of computer and telecommunication systems, 1994."},{"key":"1_CR35","unstructured":"B.R. Haverkort, \u201cPerformability Evaluation using DyQNtool+\u201d, submitted for publication, 1994."},{"key":"1_CR36","doi-asserted-by":"crossref","unstructured":"W. Henderson and P. G. Taylor, \u201cAggregation Methods in exact performance analysis of stochastic Petri nets\u201d, Proceedings of the 3rd Int'l Workshop on Petri Nets and Performance Models, pp.12\u201318, 1989.","DOI":"10.1109\/PNPM.1989.68535"},{"key":"1_CR37","volume-title":"Dynamic Probabilistic Systems, Vol. II: Semi-Markov and Decision Processes","author":"R. A. Howard","year":"1971","unstructured":"R.A. Howard, Dynamic Probabilistic Systems, Vol. II: Semi-Markov and Decision Processes, New York, Wiley, 1971."},{"issue":"4","key":"1_CR38","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/50020.50062","volume":"20","author":"A. M. Johnson Jr.","year":"1988","unstructured":"A.M. Johnson Jr., M. Malek, \u201cSurvey of Software Tools for Evaluating Reliability, Availability, and Serviceability\u201d, ACM Computing Surveys 20(4), pp.227\u2013269, 1988.","journal-title":"ACM Computing Surveys"},{"key":"1_CR39","doi-asserted-by":"crossref","unstructured":"S.C. Johnson, R.W. Butler, \u201cAutomated Generation of Reliability Models\u201d, Proceedings of the 1988 Annual Reliability and Maintainability Symposium, pp.17\u201322, 1988.","DOI":"10.1109\/ARMS.1988.196407"},{"key":"1_CR40","volume-title":"Numerical evaluation of performability measures and job completion time in repairable fault-tolerant systems","author":"V. Kulkarni","year":"1986","unstructured":"V. Kulkarni, V. F. Nicola, R. M. Smith, and K. S. Trivedi. \u201cNumerical evaluation of performability measures and job completion time in repairable fault-tolerant systems\u201d In Proc. 16th Intl. Symp. on Fault Tolerant Computing, Vienna, Austria, July 1986. IEEE."},{"key":"1_CR41","unstructured":"R. Lepold, \u201cTomspin: Benutzerhandbuch\u201d, internal report Siemens AG, 1991."},{"key":"1_CR42","unstructured":"R. Lepold, \u201cPENPETt: A New Approach to Performability Modelling using Stochastic Petri Nets\u201d, Proceedings of the First International Workshop on Performability Modelling of Computer and Communication Systems, Editors: B.R. Haverkort, I.G. Niemegeers, N.M. van Dijk, University of Twente, pp.3\u201317, 1991."},{"key":"1_CR43","volume-title":"Performability Evaluation of a Fault-Tolerant Computer Systems using Stochastic Petri Nets","author":"R. Lepold","year":"1991","unstructured":"R. Lepold, \u201cPerformability Evaluation of a Fault-Tolerant Computer Systems using Stochastic Petri Nets\u201d, Proceedings of the Fifth International Conference on Fault-Tolerant Computing Systems, Springer Verlag, N\u00fcrnberg, 1991."},{"issue":"10","key":"1_CR44","doi-asserted-by":"crossref","first-page":"1105","DOI":"10.1109\/TCOM.1984.1095978","volume":"32","author":"V. O. K. K. Li","year":"1984","unstructured":"V.O.K. Li, J.A. Silvester, \u201cPerformance Analysis of Networks with Unreliable Components\u201d, IEEE Transactions on Communications 32(10), pp.1105\u20131110, 1984.","journal-title":"IEEE Transactions on Communications"},{"key":"1_CR45","unstructured":"C. Lindemann, \u201cAn improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic Petri net models\u201d, Proceedings of the 4th Int'l Workshop on Petri Nets and Performance Models, 1991."},{"key":"1_CR46","unstructured":"C. Lindemann, R. German, \u201cDSPNexpress: A Software Package for Efficiently Solving Deterministic and Stochastic Petri Nets\u201d, in: Performance Tools 1992, Editors: R. Pooley, J. Hillston, Edinburgh University Press Ltd., forthcoming, 1992."},{"key":"1_CR47","volume-title":"Elements of practical performance modeling","author":"E. A. MacNair","year":"1985","unstructured":"E. A. MacNair and C. H. Sauer. Elements of practical performance modeling. Prentice Hall, Englewood Cliffs, New Jersey, USA, 1985."},{"key":"1_CR48","unstructured":"Manish Malhotra Specification and Solution of Dependability Models of Fault-Tolerant Systems, Ph.D. Thesis, Dept. of Comp. Sc., Duke University, April 1993."},{"key":"1_CR49","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1109\/TSE.1979.234214","volume":"SE-5","author":"R. A. Marie","year":"1979","unstructured":"R. A. Marie. An approximate analytical method for general queueing networks. IEEE Trans. Software Engg., SE-5:530\u2013538, 1979.","journal-title":"IEEE Trans. Software Engg."},{"key":"1_CR50","doi-asserted-by":"crossref","unstructured":"R. A. Marie, A. L. Reibman, K. S. Trivedi \u201cTransient Analysis of Acyclic Markov Chains\u201d, Performance Evalution 7, 1987.","DOI":"10.1016\/0166-5316(87)90039-3"},{"issue":"8","key":"1_CR51","doi-asserted-by":"crossref","first-page":"720","DOI":"10.1109\/TC.1980.1675654","volume":"29","author":"J. F. Meyer","year":"1980","unstructured":"J.F. Meyer, \u201cOn Evaluating the Performability of Degradable Computer Systems\u201d, IEEE Transactions on Computers 29(8), pp.720\u2013731, 1980.","journal-title":"IEEE Transactions on Computers"},{"issue":"7","key":"1_CR52","doi-asserted-by":"crossref","first-page":"648","DOI":"10.1109\/TC.1982.1676062","volume":"31","author":"J. F. Meyer","year":"1982","unstructured":"J.F. Meyer, \u201cClosed-Form Solutions of Performability\u201d, IEEE Transactions on Computers 31(7), pp.648\u2013657, 1982.","journal-title":"IEEE Transactions on Computers"},{"key":"1_CR53","unstructured":"J.F. Meyer, A. Movaghar, W.H. Sanders, \u201cStochastic Activity Networks: Structure, Behavior, and Application\u201d, Proceedings of the International Workshop on Timed Petri Nets, IEEE Computer Society Press, pp.106\u2013115, 1985."},{"issue":"3&4","key":"1_CR54","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0166-5316(92)90002-X","volume":"14","author":"J. F. Meyer","year":"1992","unstructured":"J.F. Meyer, \u201cPerformability: A Retrospective and Some Pointers to the Future\u201d, Performance Evaluation, 14(3&4), pp.139\u2013156, 1992.","journal-title":"Performance Evaluation"},{"key":"1_CR55","doi-asserted-by":"crossref","unstructured":"K. B. Misra (Ed.), New Trends in System Reliability Evaluation, Elsevier Science Publishers, 1993.","DOI":"10.1016\/B978-0-444-81660-3.50009-5"},{"issue":"9","key":"1_CR56","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1109\/TC.1982.1676110","volume":"31","author":"M. K. Molloy","year":"1982","unstructured":"M.K. Molloy, \u201cPerformance Analysis using Stochastic Petri Nets\u201d, IEEE transactions on Computers 31(9), pp.913\u2013917, 1982.","journal-title":"IEEE transactions on Computers"},{"key":"1_CR57","unstructured":"A.P.A. van Moorsel, Performability Evaluation Concepts and Techniques, Ph.D. thesis, University of Twente, Department of Computer Science, 1993."},{"key":"1_CR58","doi-asserted-by":"crossref","unstructured":"A.P.A. van Moorsel, W.H. Sanders, \u201cAdaptive Uniformization\u201d, forthcoming in Stochastic Models, 1994.","DOI":"10.1080\/15326349408807313"},{"key":"1_CR59","doi-asserted-by":"crossref","unstructured":"M. Mulazzani, K.S. Trivedi, \u201cDependability Prediction: Comparison of Tools and Techniques\u201d, Proceedings IFAC SAFECOMP, pp.171\u2013178, 1986.","DOI":"10.1016\/B978-0-08-034801-8.50032-5"},{"key":"1_CR60","unstructured":"B. M\u00fcller-Clostermann, \u201cNUMAS\u2014A Tool for the Numerical Analysis of Computer Systems\u201d, in: Modelling Techniques and Tools for Computer Performance Analysis, Editor: D. Potier, North-Holland, pp.141\u2013154, 1985."},{"key":"1_CR61","unstructured":"J. K. Muppala, A. Sathaye, R. Howe, K. S. Trivedi, \u201cDependability Modeling of a Heterogeneous VAXcluster System Using Stochastic Reward Nets\u201d, in: Hardware and Software Fault Tolerance in Parallel Computing Systems, Editor: D. Averesky, Ellis Horwood Ltd., 1992, forthcoming."},{"key":"1_CR62","unstructured":"J. Muppala and K. S. Trivedi, \u201cNumerical Transient Solution of Finite Markovian Queueing Systems\u201d, in: Queueing and Related Models, U. N. Bhat and I. V. Basawa (ed.), pp. 262\u2013284, Oxford University Press, 1992."},{"key":"1_CR63","unstructured":"D. Potier, M. Veran, \u201cThe Markovian Solver of QNAP2 and Examples\u201d, in: Computer Networking and Performance Evaluation, Editors: T. Hasegawa, H. Takagi, Y. Takahashi, pp.259\u2013279, 1986."},{"issue":"4","key":"1_CR64","doi-asserted-by":"crossref","first-page":"683","DOI":"10.1080\/15326348908807130","volume":"5","author":"A. L. Reibman","year":"1989","unstructured":"A.L. Reibman, K.S. Trivedi, \u201cTransient Analysis of Cumulative Measures of Markov Model Behavior\u201d, Stochastic Models 5(4), pp.683\u2013710, 1989.","journal-title":"Stochastic Models"},{"issue":"2","key":"1_CR65","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1145\/322186.322195","volume":"27","author":"M. Reiser","year":"1980","unstructured":"M. Reiser and S. S. Lavenberg. Mean value analysis of closed multichain queueing networks. J. ACM., 27(2):313\u2013322, Apr. 1980.","journal-title":"J. ACM."},{"issue":"2","key":"1_CR66","doi-asserted-by":"crossref","first-page":"186","DOI":"10.1109\/TR.1987.5222336","volume":"36","author":"R. A. Sahner","year":"1987","unstructured":"R.A. Sahner, K.S. Trivedi, \u201cReliability Modelling using SHARPE\u201d, IEEE Transactions on Reliability 36(2), pp.186\u2013193, 1987.","journal-title":"IEEE Transactions on Reliability"},{"key":"1_CR67","doi-asserted-by":"crossref","unstructured":"R.A. Sahner, K.S. Trivedi, \u201cA Software Tool for Learning About Stochastic Models\u201d, IEEE Transactions on Education 36(1), 1993.","DOI":"10.1109\/13.204817"},{"key":"1_CR68","unstructured":"W.H. Sanders, J.F. Meyer, \u201cPerformability Evaluation of Distributed Systems using Stochastic Activity Networks\u201d, Proceedings of the 1987 International Workshop on Petri Nets and Performance Models, IEEE Computer Society Press, pp.111\u2013120, 1987."},{"key":"1_CR69","volume-title":"Ph.D. dissertation","author":"W. H. Sanders","year":"1988","unstructured":"W.H. Sanders, Construction and Solution of Performability Models Based on Stochastic Activity Networks, Ph.D. dissertation, University of Michigan, USA, 1988."},{"issue":"1","key":"1_CR70","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/49.64901","volume":"9","author":"W. H. Sanders","year":"1991","unstructured":"W.H. Sanders, J.F. Meyer, \u201cReduced Base Model Construction for Stochastic Activity Networks\u201d, IEEE Journal on Selected Areas in Communications 9(1), pp.25\u201336, 1991.","journal-title":"IEEE Journal on Selected Areas in Communications"},{"key":"1_CR71","unstructured":"C. H. Sauer and K. M. Chandy. Computer Systems Performance Modeling. Prentice-Hall, 1981."},{"key":"1_CR72","unstructured":"M. Sczittnick, Techniken zur funktionalen und quantitativen Analyse von Markoffschen Rechensystemmodellen, M.Sc. thesis, University of Dortmund, August 1987."},{"key":"1_CR73","doi-asserted-by":"crossref","unstructured":"M. Sczittnick, B. M\u00fcller-Clostermann, \u201cMACOM\u2014A Tool for the Markovian Analysis of Communication Systems\u201d, in: Proceedings of the Fourth International Conference on Data Communication Systems and Their Performance, Editor: R. Puigjaner, pp.456\u2013470, 1990.","DOI":"10.1016\/B978-0-444-88756-6.50038-4"},{"issue":"3&4","key":"1_CR74","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1016\/0166-5316(92)90003-Y","volume":"14","author":"E. Souza e Silva de","year":"1992","unstructured":"E. de Souza e Silva, H.R. Gail, \u201cPerformability Analysis of Computer Systems: from Model Specification to Solution\u201d, Performance Evaluation, 14(3&4), pp. 157\u2013196, 1992.","journal-title":"Performance Evaluation"},{"issue":"1","key":"1_CR75","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/149439.133100","volume":"20","author":"E. Souza e Silva de","year":"1992","unstructured":"E. de Souza e Silva, P.M. Ochoa, \u201cState Space Exploration in Markov Models\u201d, ACM Performance Evaluation Review 20(1), pp.152\u2013166, 1992.","journal-title":"ACM Performance Evaluation Review"},{"key":"1_CR76","unstructured":"M.F. Squillante, \u201cMAGIC: A Computer Performance Modelling Tool based on Matrix-Geometric Techniques\u201d, in: Computer Performance Evaluation: Modelling Techniques and Tools, Eds.: G. Balbo, G. Serazzi, North-Holland, pp.411\u2013425, 1992."},{"key":"1_CR77","unstructured":"W. J. Stewart, \u201cMARCA: Markov Chain Analyzer\u201d, in: Numerical Solution of Markov Chains, Editor: W.J. Stewart, Marcel Dekker, 1991."},{"key":"1_CR78","doi-asserted-by":"crossref","unstructured":"L. Tomek, V. Mainkar, R. Geist, and K. Trivedi. Reliability analysis of life-critical real-time systems. Proceedings of the IEEE, January 1994.","DOI":"10.1109\/5.259430"},{"issue":"3&4","key":"1_CR79","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0166-5316(92)90004-Z","volume":"14","author":"K. S. Trivedi","year":"1992","unstructured":"K.S. Trivedi, J.K. Muppala, S.P. Woolet, B.R. Haverkort, \u201cComposite Performance and Dependability Analysis\u201d, Performance Evaluation, 14(3&4), pp.197\u2013215, 1992.","journal-title":"Performance Evaluation"},{"key":"1_CR80","unstructured":"M. Veran, D. Potier, \u201cQNAP2: A Portable Environment for Queueing System Modelling\u201d, in: Modelling Techniques and Tools for Computer Performance Evaluation, Editor: D. Potier, North-Holland, pp.25\u201363, 1985."},{"key":"1_CR81","doi-asserted-by":"crossref","unstructured":"W. Whitt. The queueing network analyzer. The Bell System Technical Journal, 62(9), Nov. 1983.","DOI":"10.1002\/j.1538-7305.1983.tb03205.x"}],"container-title":["Lecture Notes in Computer Science","Computer Performance Evaluation Modelling Techniques and Tools"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58021-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:18:48Z","timestamp":1742595528000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58021-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540580218","9783540484165"],"references-count":81,"URL":"https:\/\/doi.org\/10.1007\/3-540-58021-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]},"assertion":[{"value":"26 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}