{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T17:35:16Z","timestamp":1785605716060,"version":"3.56.0"},"reference-count":31,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[1998,6,1]],"date-time":"1998-06-01T00:00:00Z","timestamp":896659200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Performance Evaluation"],"published-print":{"date-parts":[[1998,6]]},"DOI":"10.1016\/s0166-5316(98)00011-x","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T09:16:45Z","timestamp":1027588605000},"page":"45-65","source":"Crossref","is-referenced-by-count":15,"title":["Performance\/availability modeling with the TANGRAM-II modeling environment"],"prefix":"10.1016","volume":"33","author":[{"given":"R.M.L.R.","family":"Carmo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.R.","family":"de Carvalho","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E.","family":"de Souza e Suva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"M.C.","family":"Diniz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"R.R.","family":"Muntz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/S0166-5316(98)00011-X_BIB1","series-title":"Proc. 23rd Int. Symp. on Fault-Tolerant Computing","first-page":"668","article-title":"SURF-2: A program for dependability evaluation of complex hardware and software systems","author":"B\u00e9ounes","year":"1993"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB2","series-title":"Numerical Solution of Markov Chains","first-page":"11","article-title":"An object oriented methodology for the specification of Markov models","author":"Berson","year":"1991"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB3","series-title":"Proc. Protocol Specification, Testing and Verification VIII \u2014 IFIP","first-page":"19","article-title":"Adding performance aspects to specification languages","author":"Bochmann","year":"1988"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB4","first-page":"424","article-title":"METFAC: Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems","volume":"16","author":"Carrasco","year":"1986","journal-title":"FTCS"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB5_1","unstructured":"W. Chia-Whei Cheng, The TANGRAM graphical interface facility (TGIF) manual"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB6","series-title":"Proc. Int. Workshop on Timed Petri Net Models","first-page":"136","article-title":"A software package for analysis of generalized stochastic Petri net models","author":"Chiola","year":"1985"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB7","series-title":"Proc. 3rd Int. Workshop on Petri-nets and Performance Models","first-page":"142","article-title":"SPNP: stochastic Petri net package","author":"Ciardo","year":"1989"},{"issue":"4","key":"10.1016\/S0166-5316(98)00011-X_BIB8","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1109\/TC.1986.1676765","article-title":"Calculating cumulative operational time distributions of repairable computer systems","volume":"C 35","author":"de Souza e Silva","year":"1986","journal-title":"IEEE Trans. Comput."},{"key":"10.1016\/S0166-5316(98)00011-X_BIB9","article-title":"The uniformization method in performability analysis","author":"de Souza e Silva","year":"1996","journal-title":"IBM Technical Report RC-20383"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB10","unstructured":"E. de Souza e Silva, H.R. Gail, An algorithm to calculate transient distributions of cumulative rate and impulse based reward, Comm. Statist. Stochastic Models, to appear."},{"key":"10.1016\/S0166-5316(98)00011-X_BIB11","series-title":"Computations with Markov Chains","first-page":"483","article-title":"Efficient solutions for a class of non-Markovian models","author":"de Souza e Silva","year":"1995"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB12","series-title":"Proc. Performance'95 and 1995 ACM SIGMETRICS Conf.","first-page":"231","article-title":"Calculating transient distributions of cumulative reward","author":"de Souza e Silva","year":"1995"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB13","series-title":"Matrix Computation","author":"Golub","year":"1989"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB14","first-page":"84","article-title":"The system availability estimator","volume":"16","author":"Goyal","year":"1986","journal-title":"FTCS"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB15","doi-asserted-by":"crossref","first-page":"557","DOI":"10.2307\/3214541","article-title":"Equilibrium distribution of block-structured markov chains with repeating rows","volume":"27","author":"Grassmann","year":"1990","journal-title":"J. Appl. Probab."},{"issue":"5","key":"10.1016\/S0166-5316(98)00011-X_BIB16","doi-asserted-by":"crossref","first-page":"1107","DOI":"10.1287\/opre.33.5.1107","article-title":"Regenerative analysis and steady state distributions for Markov chains","volume":"33","author":"Grassmann","year":"1985","journal-title":"Oper. Res."},{"issue":"1","key":"10.1016\/S0166-5316(98)00011-X_BIB17","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0166-5316(94)00038-7","article-title":"Performability modelling tools and techniques","volume":"25","author":"Haverkort","year":"1996","journal-title":"Perform. Eval."},{"key":"10.1016\/S0166-5316(98)00011-X_BIB18","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/50020.50062","article-title":"Survey of software tools for evaluating reliability, availability and serviceability","volume":"20","author":"Johnson","year":"1988","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB19","series-title":"Proc. 6th Int. Conf. on Modelling Techniques and Tools for Computer Systems Performance Evaluation","first-page":"15","article-title":"DSPNexpress: A software package for the efficient solution of deterministic and stochastic Petri nets","author":"Lindemann","year":"1992"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB20","series-title":"Proc. 2nd MASCOTS","article-title":"Integrating performance analysis in the context of LOTOS-based design","author":"Marsan","year":"1994"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB21","series-title":"Proc. 10th Brazilian Symp. on Computer Networks","first-page":"19","article-title":"Peformance evaluation of distributed systems specified in Estelle (in Portuguese)","author":"Mejia Ochoa","year":"1992"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB22","first-page":"603","article-title":"Efficient solution for a class of Markov chain models of telecommunication systems","volume":"27\/28","author":"Meo","year":"1996"},{"issue":"2","key":"10.1016\/S0166-5316(98)00011-X_BIB23","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1137\/1031050","article-title":"Stochastic complementation, uncoupling Markov chains, and the theory of nearly reducible systems","volume":"31","author":"Meyer","year":"1989","journal-title":"SIAM Rev."},{"key":"10.1016\/S0166-5316(98)00011-X_BIB24","first-page":"48","article-title":"Interval availability distribution computation","volume":"23","author":"Rubino","year":"1993"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB25","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0166-5316(95)00012-M","article-title":"The UltraSAN modeling environment","volume":"24","author":"Sanders","year":"1995","journal-title":"Perform. Eval."},{"key":"10.1016\/S0166-5316(98)00011-X_BIB26","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1109\/JSAC.1984.1146049","article-title":"Queueing network simulations of computer communication","volume":"2","author":"Sauer","year":"1984","journal-title":"IEEE J. Select. Areas Commun."},{"key":"10.1016\/S0166-5316(98)00011-X_BIB27","series-title":"Numerical Solution of Markov Chains","first-page":"37","article-title":"MARCA Markov chain analyzer, a software package for Markov chains","author":"Stewart","year":"1991"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB28","series-title":"Introduction to the Numerical Solution of Markov Chains","author":"Stewart","year":"1994"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB29","article-title":"From queueing networks to Markov chains: The XMARCA interface","author":"Stewart","year":"1996"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB30","series-title":"Int. Conf. Modeling Technique and Tools for Perf. Eval.","article-title":"QNAP2: A portable environment for queueing systems modeling","author":"Veran","year":"1984"},{"key":"10.1016\/S0166-5316(98)00011-X_BIB31","series-title":"Iterative Solution of Large Linear Systems","author":"Young","year":"1971"}],"container-title":["Performance Evaluation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016653169800011X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016653169800011X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T14:20:08Z","timestamp":1556547608000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016653169800011X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,6]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,6]]}},"alternative-id":["S016653169800011X"],"URL":"https:\/\/doi.org\/10.1016\/s0166-5316(98)00011-x","relation":{},"ISSN":["0166-5316"],"issn-type":[{"value":"0166-5316","type":"print"}],"subject":[],"published":{"date-parts":[[1998,6]]}}}