乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,5,1]],"date-time":"2023-05-01T18:14:38Z","timestamp":1682964878286},"reference-count":22,"publisher":"Elsevier BV","issue":"3","license":[{"start":{"date-parts":[[2004,8,1]],"date-time":"2004-08-01T00:00:00Z","timestamp":1091318400000},"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":["Journal of Systems and Software"],"published-print":{"date-parts":[[2004,8]]},"DOI":"10.1016\/s0164-1212(03)00210-3","type":"journal-article","created":{"date-parts":[[2003,12,9]],"date-time":"2003-12-09T06:55:53Z","timestamp":1070952953000},"page":"349-365","source":"Crossref","is-referenced-by-count":5,"title":["A new disk-based technique for solving the largeness problem of stochastic modeling formalisms"],"prefix":"10.1016","volume":"72","author":[{"given":"Samir M.","family":"Koriem","sequence":"first","affiliation":[]},{"given":"W.S.","family":"El-Kilani","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/S0164-1212(03)00210-3_BIB1","unstructured":"Abdallah, H., Hamza, M., Arabnia, H.R., 2000. Sensitivity computation of the expected accumulated reward of stiff Markov models. in: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, Monte Carlo Resort, Las Vegas, Nevada, USA, vol. 3, pp. 1415\u20131421"},{"issue":"3","key":"10.1016\/S0164-1212(03)00210-3_BIB2","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1287\/ijoc.12.3.203.12634","article-title":"Complexity of memory-efficient Kronecker operations with applications to the solution of Markov models","volume":"13","author":"Buchholz","year":"2000","journal-title":"INFORMS Journal on Computing"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB3","series-title":"Proceedings of the Joint PAPM-PROBMIV Workshop, Aachen, Germany","first-page":"184","article-title":"Quantifying the dynamic behavior of process algebras","volume":"vol. 2165","author":"Buchholz","year":"2001"},{"issue":"1\u20134","key":"10.1016\/S0164-1212(03)00210-3_BIB4","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0166-5316(00)00057-2","article-title":"Hybrid analysis of SGSPNs with time-dependent transition rates","volume":"44","author":"Buchholz","year":"2001","journal-title":"Performance Evaluation"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB5","series-title":"Proceedings of the 9th International Workshop on Petri Nets and Performance Models, Aachen, Germany","first-page":"81","article-title":"Compact representations of probability distributions in analysis of superposed GSPNs","author":"Buchholz","year":"2001"},{"issue":"1\u20132","key":"10.1016\/S0164-1212(03)00210-3_BIB6","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","article-title":"GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic petri nets","volume":"24","author":"Chiola","year":"1995","journal-title":"Performance Evaluation"},{"issue":"1\u20132","key":"10.1016\/S0164-1212(03)00210-3_BIB7","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/S0166-5316(98)00010-8","article-title":"An efficient disk-based tool for solving large models","volume":"33","author":"Deavours","year":"1998","journal-title":"Performance Evaluation"},{"issue":"10","key":"10.1016\/S0164-1212(03)00210-3_BIB8","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1109\/32.729691","article-title":"On-the-fly solution techniques for stochastic Petri nets and extensions","volume":"24","author":"Deavours","year":"1998","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"1\u20134","key":"10.1016\/S0164-1212(03)00210-3_BIB9","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/S0166-5316(00)00060-2","article-title":"Integrating synchronization with priority into a Kronecker representation","volume":"44","author":"Donatelli","year":"2001","journal-title":"Performance Evaluation"},{"issue":"1\u20134","key":"10.1016\/S0164-1212(03)00210-3_BIB10","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/S0166-5316(00)00061-4","article-title":"Iterative analysis of Markov regenerative models","volume":"44","author":"German","year":"2001","journal-title":"Performance Evaluation"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB11","first-page":"403","article-title":"Stochastic modeling formalisms for dependability, performance and performability","volume":"vol. 1769","author":"Goseva-Popstojanova","year":"2000"},{"issue":"1\u20132","key":"10.1016\/S0164-1212(03)00210-3_BIB12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1023\/A:1008339216603","article-title":"Fluid stochastic Petri nets augmented with flush-out arcs: modelling and analysis","volume":"11","author":"Gribaudo","year":"2001","journal-title":"Discrete Event Dynamic Systems: Theory & Applications"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB13","doi-asserted-by":"crossref","unstructured":"Haverkort, B.R., Boudewijn, R., Alexander, O., 1997. Steady-state Analysis of Infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method. In: Proceedings of the 7th International Workshop on Petri Nets and Performance Models, Saint Malo, France, pp. 36\u201345","DOI":"10.1109\/PNPM.1997.595535"},{"issue":"1\u20132","key":"10.1016\/S0164-1212(03)00210-3_BIB14","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/S0304-3975(00)00305-4","article-title":"Process algebra for performance evaluation","volume":"274","author":"Hermanns","year":"2002","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB15","doi-asserted-by":"crossref","unstructured":"Hirel, C., Trivedi, K.S., Tuffin, B., 2000. SPNP Version 6.0. In: Lecture Notes in Computer Science, vol. 1786, Springer-Verlag, pp. 354\u2013357","DOI":"10.1007\/3-540-46429-8_30"},{"issue":"1\u20132","key":"10.1016\/S0164-1212(03)00210-3_BIB16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0166-5316(93)E0035-4","article-title":"DSPNexpress: a software package for the efficient solution of deterministic and stochastic Petri nets","volume":"22","author":"Lindemann","year":"1995","journal-title":"Performance Evaluation"},{"issue":"5","key":"10.1016\/S0164-1212(03)00210-3_BIB17","doi-asserted-by":"crossref","first-page":"399","DOI":"10.1109\/12.926156","article-title":"Bound computation of dependability and performance measures","volume":"50","author":"Mahevas","year":"2001","journal-title":"IEEE Transactions on Computers"},{"issue":"3","key":"10.1016\/S0164-1212(03)00210-3_BIB18","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1109\/24.974122","article-title":"Techniques for fast simulation of models of highly dependable systems","volume":"50","author":"Nicola","year":"2001","journal-title":"IEEE Transactions on Reliability"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB19","unstructured":"Plateau, B., Stewart, W.J., Silva, M., 1999. Numerical solution of Markov chains. In: Proceedings of the 3rd International Conference on Numerical solution of Markov chains, Prensas Universitarias de Zaragoza, Spain, pp. 435\u2013448"},{"issue":"9","key":"10.1016\/S0164-1212(03)00210-3_BIB20","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/32.541432","article-title":"Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures","volume":"22","author":"Qureshi","year":"1996","journal-title":"IEEE transactions on Software Engineering"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB21","doi-asserted-by":"crossref","unstructured":"Ramani, S., Trivedi, K.S., Dasarathy, B., 2000. Performance analysis of the CORBA event service using stochastic reward nets. In: Proceedings of the 19th Symposium on Reliable Distributed Systems, Nurnberg, Germany, pp. 238\u2013247","DOI":"10.1109\/RELDI.2000.885411"},{"key":"10.1016\/S0164-1212(03)00210-3_BIB22","series-title":"Introduction to the Numerical Solution of Markov Chains","author":"Stewart","year":"1994"}],"container-title":["Journal of Systems and Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203002103?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0164121203002103?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T05:54:09Z","timestamp":1550296449000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0164121203002103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,8]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2004,8]]}},"alternative-id":["S0164121203002103"],"URL":"https:\/\/doi.org\/10.1016\/s0164-1212(03)00210-3","relation":{},"ISSN":["0164-1212"],"issn-type":[{"value":"0164-1212","type":"print"}],"subject":[],"published":{"date-parts":[[2004,8]]}}}