{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T14:33:44Z","timestamp":1725978824419},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319916316"},{"type":"electronic","value":"9783319916323"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","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":[[2018]]},"DOI":"10.1007\/978-3-319-91632-3_11","type":"book-chapter","created":{"date-parts":[[2018,5,23]],"date-time":"2018-05-23T01:58:40Z","timestamp":1527040720000},"page":"139-155","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Evaluation of Iterative Methods on Large Markov Chains Generated by GSPN Models"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Caselli","sequence":"first","affiliation":[]},{"given":"Gianni","family":"Conte","sequence":"additional","affiliation":[]},{"given":"Mauro","family":"Diligenti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,24]]},"reference":[{"key":"11_CR1","volume-title":"Modelling with Generalized Stochastic Petri Nets","author":"M Ajmone Marsan","year":"1995","unstructured":"Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. Wiley, New York (1995)"},{"issue":"4","key":"11_CR2","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0166-5316(90)90001-Y","volume":"11","author":"M Ajmone Marsan","year":"1990","unstructured":"Ajmone Marsan, M., Donatelli, S., Neri, F.: GSPN models of markovian multiserver multiqueue systems. Perform. Eval. 11(4), 227\u2013240 (1990)","journal-title":"Perform. Eval."},{"key":"11_CR3","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/1530873.1530876","volume":"36","author":"S Baarir","year":"2009","unstructured":"Baarir, S., Beccuti, M., Cerotti, D., De Pierro, M., Donatelli, S., Franceschinis, G.: The GreatSPN tool: recent enhancements. ACM SIGMETRICS Perform. Eval. Rev. 36, 4\u20139 (2009)","journal-title":"ACM SIGMETRICS Perform. Eval. Rev."},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Caselli, S., Conte, G.: GSPN models of concurrent architectures with mesh topology. In: Proceedings of the 4th IEEE International Workshop on Petri Nets and Performance Models, Melbourne, Australia, December 1991","DOI":"10.1109\/PNPM.1991.238792"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/3-540-60029-9_40","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: De Michelis, G., Diaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 181\u2013200. Springer, Heidelberg (1995). \nhttps:\/\/doi.org\/10.1007\/3-540-60029-9_40"},{"issue":"1","key":"11_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1006\/jpdc.2000.1664","volume":"61","author":"S Caselli","year":"2001","unstructured":"Caselli, S., Conte, G., Marenzoni, P.: A distributed algorithm for GSPN reachability graph generation. J. Parallel Distrib. Comp. 61(1), 79\u201395 (2001)","journal-title":"J. Parallel Distrib. Comp."},{"issue":"1\u20132","key":"11_CR7","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/0166-5316(95)00008-L","volume":"24","author":"G Chiola","year":"1995","unstructured":"Chiola, G., Franceschinis, G., Gaeta, R., Ribaudo, M.: GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets. Perform. Eval. 24(1\u20132), 47\u201368 (1995)","journal-title":"Perform. Eval."},{"key":"11_CR8","unstructured":"Ciardo, G., Tilgner, M.: On the use of Kronecker operators for the solution of generalized stochastic petri nets. ICASE Report No. 96-35 CR-198336, NASA Langley Research Center, May 1996"},{"issue":"10","key":"11_CR9","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1109\/32.729691","volume":"24","author":"DD Deavours","year":"1998","unstructured":"Deavours, D.D., Sanders, W.H.: On-the-Fly solution techniques for stochastic Petri nets and extensions. IEEE Trans. Softw. Eng. 24(10), 889\u2013902 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"11_CR10","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BFb0080116","volume-title":"Numerical Analysis","author":"R Fletcher","year":"1976","unstructured":"Fletcher, R.: Conjugate gradient methods for indefinite systems. In: Watson, G.A. (ed.) Numerical Analysis. LNM, vol. 506, pp. 73\u201389. Springer, Heidelberg (1976). \nhttps:\/\/doi.org\/10.1007\/BFb0080116"},{"key":"11_CR11","volume-title":"Matrix Computations","author":"GH Golub","year":"1996","unstructured":"Golub, G.H., Van Loan, C.F.: Matrix Computations, 3rd edn. Johns Hopkins, Baltimore (1996)","edition":"3"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"409","DOI":"10.6028\/jres.049.044","volume":"49","author":"MR Hestenes","year":"1952","unstructured":"Hestenes, M.R., Stiefel, E.: Methods of conjugate gradients for solving linear systems. J. Res. Nat. Bur. Stand. 49, 409\u2013436 (1952)","journal-title":"J. Res. Nat. Bur. Stand."},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Kemper, P.: Transient analysis of superposed GSPNs. In: Proceedings of the 7th IEEE International Workshop on Petri Nets and Performance Models, Saint Malo, France, pp. 101\u2013110, June 1997","DOI":"10.1109\/PNPM.1997.595541"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Marenzoni, P., Caselli, S., Conte, G.: Analysis of large GSPN models: a distributed solution tool. In: Proceedings of the 7th IEEE International Workshop on Petri Nets and Performance Models, Saint Malo, France, pp. 122\u2013131, June 1997","DOI":"10.1109\/PNPM.1997.595543"},{"key":"11_CR15","doi-asserted-by":"publisher","first-page":"1156","DOI":"10.1287\/opre.40.6.1156","volume":"40","author":"B Philippe","year":"1992","unstructured":"Philippe, B., Saad, Y., Stewart, W.J.: Numerical methods in Markov chain modeling. J. Oper. Res. 40, 1156\u20131179 (1992)","journal-title":"J. Oper. Res."},{"key":"11_CR16","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1137\/0907058","volume":"7","author":"Y Saad","year":"1986","unstructured":"Saad, Y., Schultz, M.H.: GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems. SIAM J. Sci. Stat. Comput. 7, 856\u2013869 (1986)","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1137\/0910004","volume":"10","author":"P Sonneveld","year":"1989","unstructured":"Sonneveld, P.: CGS: a fast Lanczos-type solver for nonsymmetric linear systems. SIAM J. Sci. Stat. Comput. 10, 36\u201352 (1989)","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"11_CR18","volume-title":"Introduction to Numerical Solution of Markov Chains","author":"WJ Stewart","year":"1994","unstructured":"Stewart, W.J.: Introduction to Numerical Solution of Markov Chains. Princeton University Press, Princeton (1994)"},{"key":"11_CR19","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/MC.1984.1659028","volume":"12","author":"H Tanimoto","year":"1984","unstructured":"Tanimoto, H.: Factory automation: an automatic assembly line for manufacture of printers. IEEE Comput. 12, 50\u201368 (1984)","journal-title":"IEEE Comput."},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1137\/0913035","volume":"13","author":"HA Vorst Van Der","year":"1992","unstructured":"Van Der Vorst, H.A.: Bi-CGStab: a fast and smoothly converging variant of Bi-CG for the solution of nonsymmetric linear systems. SIAM J. Sci. Stat. Comput. 13, 631\u2013644 (1992)","journal-title":"SIAM J. Sci. Stat. Comput."}],"container-title":["Communications in Computer and Information Science","New Frontiers in Quantitative Methods in Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-91632-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,23]],"date-time":"2018-05-23T02:04:47Z","timestamp":1527041087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-91632-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319916316","9783319916323"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-91632-3_11","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}