{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:31:18Z","timestamp":1759336278973},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319663340"},{"type":"electronic","value":"9783319663357"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66335-7_2","type":"book-chapter","created":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T23:53:48Z","timestamp":1502322828000},"page":"20-35","source":"Crossref","is-referenced-by-count":8,"title":["Exploiting Non-deterministic Analysis in the Integration of Transient Solution Techniques for Markov Regenerative Processes"],"prefix":"10.1007","author":[{"given":"Marco","family":"Biagi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Papini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-319-10696-0_3","volume-title":"Quantitative Evaluation of Systems","author":"EG Amparore","year":"2014","unstructured":"Amparore, E.G., Buchholz, P., Donatelli, S.: A structured solution approach for Markov regenerative processes. In: Norman, G., Sanders, W. (eds.) QEST 2014. LNCS, vol. 8657, pp. 9\u201324. Springer, Cham (2014). doi:\n10.1007\/978-3-319-10696-0_3"},{"key":"2_CR2","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611971538","volume-title":"Templates for the Solutions of Linear Systems: Building Blocks for Iterative Methods","author":"R Barrett","year":"1994","unstructured":"Barrett, R., Berry, M., Chan, T.F., Demmel, J., Donato, J., Dongarra, J., Eijkhout, V., Pozo, R., Romine, C., Van der Vorst, H.: Templates for the Solutions of Linear Systems: Building Blocks for Iterative Methods. SIAM, Philadelphia (1994)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/32.75415","volume":"17","author":"B Berthomieu","year":"1991","unstructured":"Berthomieu, B., Diaz, M.: Modeling and verification of time dependent systems using time Petri nets. IEEE Trans. Softw. Eng. 17(3), 259\u2013273 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"2_CR4","doi-asserted-by":"crossref","first-page":"391","DOI":"10.1007\/s10009-010-0156-8","volume":"12","author":"G Bucci","year":"2010","unstructured":"Bucci, G., Carnevali, L., Ridi, L., Vicario, E.: Oris: a tool for modeling, verification and evaluation of real-time systems. STTT 12(5), 391\u2013403 (2010)","journal-title":"STTT"},{"issue":"7","key":"2_CR5","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1287\/mnsc.21.7.727","volume":"21","author":"E \u00c7inlar","year":"1975","unstructured":"\u00c7inlar, E.: Markov renewal theory: a survey. Manag. Sci. 21(7), 727\u2013752 (1975)","journal-title":"Manag. Sci."},{"issue":"1\u20133","key":"2_CR6","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/0166-5316(94)90021-3","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval. 20(1\u20133), 337\u2013357 (1994)","journal-title":"Perform. Eval."},{"issue":"7","key":"2_CR7","doi-asserted-by":"crossref","first-page":"506","DOI":"10.1109\/32.297939","volume":"20","author":"G Ciardo","year":"1994","unstructured":"Ciardo, G., German, R., Lindemann, C.: A characterization of the stochastic process underlying a stochastic Petri net. IEEE Trans. Softw. Eng. 20(7), 506\u2013515 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"1","key":"2_CR8","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1016\/0166-5316(94)90020-5","volume":"20","author":"R German","year":"1994","unstructured":"German, R., Lindemann, C.: Analysis of stochastic Petri nets by the method of supplementary variables. Perform. Eval. 20(1), 317\u2013335 (1994)","journal-title":"Perform. Eval."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"German, R., Logothetis, D., Trivedi, K.S.: Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches. In: International Workshop on Petri Nets and Performance Models, pp. 103\u2013112. IEEE (1995)","DOI":"10.1109\/PNPM.1995.524320"},{"issue":"7\u20138","key":"2_CR10","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1016\/j.peva.2011.11.002","volume":"69","author":"A Horv\u00e1th","year":"2012","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7\u20138), 315\u2013335 (2012)","journal-title":"Perform. Eval."},{"issue":"9","key":"2_CR11","doi-asserted-by":"crossref","first-page":"1649","DOI":"10.1109\/49.62852","volume":"8","author":"OC Ibe","year":"1990","unstructured":"Ibe, O.C., Trivedi, K.S.: Stochastic Petri net models of polling systems. IEEE J. Sel. Areas Commun. 8(9), 1649\u20131657 (1990)","journal-title":"IEEE J. Sel. Areas Commun."},{"key":"2_CR12","volume-title":"Modeling and Analysis of Stochastic Systems","author":"V Kulkarni","year":"1995","unstructured":"Kulkarni, V.: Modeling and Analysis of Stochastic Systems. Chapman & Hall, London (1995)"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-46029-2_13","volume-title":"Computer Performance Evaluation: Modelling Techniques and Tools","author":"M Kwiatkowska","year":"2002","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: PRISM: probabilistic symbolic model checker. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, pp. 200\u2013204. Springer, Heidelberg (2002). doi:\n10.1007\/3-540-46029-2_13"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Lime, D., Roux, O.H.: Expressiveness and analysis of scheduling extended time Petri nets. In: IFAC Conference on Fieldbus and their Applications. Elsevier Science (2003)","DOI":"10.1016\/S1474-6670(17)32483-7"},{"issue":"1\u20134","key":"2_CR15","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/S0166-5316(99)00020-6","volume":"36\u201337","author":"C Lindemann","year":"1999","unstructured":"Lindemann, C., Th\u00fcmmler, A.: Transient analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions. Perform. Eval. 36\u201337(1\u20134), 35\u201354 (1999)","journal-title":"Perform. Eval."},{"issue":"2","key":"2_CR16","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1109\/TSE.2015.2468717","volume":"42","author":"M Paolieri","year":"2016","unstructured":"Paolieri, M., Horv\u00e1th, A., Vicario, E.: Probabilistic model checking of regenerative concurrent systems. IEEE Trans. Softw. Eng. 42(2), 153\u2013169 (2016)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"4","key":"2_CR17","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/S0166-5316(00)00066-3","volume":"45","author":"M Telek","year":"2001","unstructured":"Telek, M., Horv\u00e1th, A.: Transient analysis of Age-MRSPNs by the method of supplementary variables. Perform. Eval. 45(4), 205\u2013221 (2001)","journal-title":"Perform. Eval."},{"issue":"5","key":"2_CR18","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1109\/TSE.2009.36","volume":"35","author":"E Vicario","year":"2009","unstructured":"Vicario, E., Sassoli, L., Carnevali, L.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Zimmermann, A: Modeling and evaluation of stochastic Petri nets with TimeNET 4.1. In: International ICST Conference on Performance Evaluation Methodologies and Tools, pp. 54\u201363 (2012)","DOI":"10.4108\/valuetools.2012.250263"}],"container-title":["Lecture Notes in Computer Science","Quantitative Evaluation of Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66335-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,9]],"date-time":"2017-08-09T23:54:25Z","timestamp":1502322865000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66335-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663340","9783319663357"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66335-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}