{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:10:07Z","timestamp":1746357007501,"version":"3.40.4"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319105567"},{"type":"electronic","value":"9783319105574"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-10557-4_34","type":"book-chapter","created":{"date-parts":[[2014,8,27]],"date-time":"2014-08-27T12:12:24Z","timestamp":1409141544000},"page":"304-315","source":"Crossref","is-referenced-by-count":2,"title":["Modeling and Evaluation of Maintenance Procedures for Gas Distribution Networks with Time-Dependent Parameters"],"prefix":"10.1007","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Tarani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kumiko","family":"Tadano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"http:\/\/www.oris-tool.org","key":"34_CR1"},{"doi-asserted-by":"crossref","unstructured":"Bobbio, A., Horv\u00e1th, A., Telek, M.: Phfit: A general phase-type fitting tool. In: Proceedings of the International Conference on Dependable Systems and Networks, DSN 2002, p. 543. IEEE (2002)","key":"34_CR2","DOI":"10.1007\/3-540-46029-2_5"},{"doi-asserted-by":"crossref","unstructured":"Bobbio, A., Telek, M.: Markov regenerative SPN with non-overlapping activity cycles. In: Int. Computer Performance and Dependability Symp., IPDS 1995, pp. 124\u2013133 (1995)","key":"34_CR3","DOI":"10.1109\/IPDS.1995.395811"},{"issue":"5","key":"34_CR4","doi-asserted-by":"publisher","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. International Journal on Software Tools for Technology Transfer\u00a012(5), 391\u2013403 (2010)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"issue":"2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.2008.101","volume":"35","author":"L. Carnevali","year":"2009","unstructured":"Carnevali, L., Grassi, L., Vicario, E.: State-Density Functions over DBM Domains in the Analysis of Non-Markovian Models. IEEE Trans. on SW Eng.\u00a035(2), 178\u2013194 (2009)","journal-title":"IEEE Trans. on SW Eng."},{"doi-asserted-by":"crossref","unstructured":"Carnevali, L., Paolieri, M., Tarani, F., Vicario, E.: Quantitative evaluation of availability measures of gas distribution networks. In: VALUETOOLS (September 2013)","key":"34_CR6","DOI":"10.4108\/icst.valuetools.2013.254411"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-642-24270-0_30","volume-title":"Computer Safety, Reliability, and Security","author":"L. Carnevali","year":"2011","unstructured":"Carnevali, L., Ridi, L., Vicario, E.: A framework for simulation and symbolic state space analysis of non-markovian models. In: Flammini, F., Bologna, S., Vittorini, V. (eds.) SAFECOMP 2011. LNCS, vol.\u00a06894, pp. 409\u2013422. Springer, Heidelberg (2011)"},{"doi-asserted-by":"crossref","unstructured":"Choi, H., Kulkarni, V.G., Trivedi, K.S.: Markov regenerative stochastic Petri nets. Perform. Eval.\u00a020(1-3), 337\u2013357 (1994)","key":"34_CR8","DOI":"10.1016\/0166-5316(94)90021-3"},{"issue":"7","key":"34_CR9","doi-asserted-by":"publisher","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 Transactions on Software Engineering\u00a020(7), 506\u2013515 (1994)","journal-title":"IEEE Transactions on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"Colebrook, C.: Turbulent flow in pipes, with particular reference to the transition region between smooth and rough pipe laws. Journal of the Institution of Civil Engineers (London) (1939)","key":"34_CR10","DOI":"10.1680\/ijoti.1939.14509"},{"issue":"4","key":"34_CR11","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1590\/S0104-66321998000400004","volume":"15","author":"A. Costa","year":"1998","unstructured":"Costa, A., de Medeiros, J., Pessoa, F.: Steady-state modeling and simulation of pipeline networks for compressible fluids. Brazilian Journal of Chemical Engineering\u00a015(4), 344\u2013357 (1998)","journal-title":"Brazilian Journal of Chemical Engineering"},{"doi-asserted-by":"crossref","unstructured":"Courtney, T., Gaonkar, S., Keefe, K., Rozier, E., Sanders, W.H.: M\u00f6bius 2.3: An extensible tool for dependability, security, and performance evaluation of large and complex system models. In: IEEE\/IFIP Int. Conf. on Dependable Systems and Networks (DSN), pp. 353\u2013358 (2009)","key":"34_CR12","DOI":"10.1109\/DSN.2009.5270318"},{"doi-asserted-by":"crossref","unstructured":"Glynn, P.W.: A GSMP formalism for discrete-event systems. Proceedings of the IEEE\u00a077, 14\u201323 (1989)","key":"34_CR13","DOI":"10.1109\/5.21067"},{"issue":"3","key":"34_CR14","doi-asserted-by":"publisher","first-page":"1584","DOI":"10.1016\/j.apm.2008.02.012","volume":"33","author":"A. Herr\u00e1n-Gonz\u00e1lez","year":"2009","unstructured":"Herr\u00e1n-Gonz\u00e1lez, A., Cruz, J.D.L., Andr\u00e9s-Toro, B.D., Risco-Mart\u00edn, J.: Modeling and simulation of a gas distribution pipeline network. Applied Mathematical Modelling\u00a033(3), 1584\u20131600 (2009)","journal-title":"Applied Mathematical Modelling"},{"doi-asserted-by":"crossref","unstructured":"Horv\u00e1th, A., Paolieri, M., Ridi, L., Vicario, E.: Transient analysis of non-Markovian models using stochastic state classes. In: Performance Evaluation (2012)","key":"34_CR15","DOI":"10.1016\/j.peva.2011.11.002"},{"issue":"3","key":"34_CR16","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/j.energy.2008.04.012","volume":"34","author":"G. Koeppel","year":"2009","unstructured":"Koeppel, G., Andersson, G.: Reliability modeling of multi-carrier energy systems. Energy\u00a034(3), 235\u2013244 (2009)","journal-title":"Energy"},{"issue":"4","key":"34_CR17","doi-asserted-by":"publisher","first-page":"1817","DOI":"10.1109\/TPWRS.2008.2004739","volume":"23","author":"T. Li","year":"2008","unstructured":"Li, T., Eremia, M., Shahidehpour, M.: Interdependency of natural gas network and power system security. IEEE Transactions on Power Systems\u00a023(4), 1817\u20131824 (2008)","journal-title":"IEEE Transactions on Power Systems"},{"doi-asserted-by":"crossref","unstructured":"Mart\u00ednez-Mares, A., Fuerte-Esquivel, C.: Integrated energy flow analysis in natural gas and electricity coupled systems. In: North American Power Symposium (NAPS), pp. 1\u20137. IEEE (2011)","key":"34_CR18","DOI":"10.1109\/NAPS.2011.6024880"},{"doi-asserted-by":"crossref","unstructured":"Munoz, J., Jimenez-Redondo, N., Perez-Ruiz, J., Barquin, J.: Natural gas network modeling for power systems reliability studies. In: Power Tech Conf. Proc., IEEE Bologna, vol.\u00a04, p. 8 (2003)","key":"34_CR19","DOI":"10.1109\/PTC.2003.1304696"},{"doi-asserted-by":"crossref","unstructured":"Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Transactions on Computers\u00a050(12), 1337\u20131351 (2001)","key":"34_CR20","DOI":"10.1109\/TC.2001.970572"},{"doi-asserted-by":"crossref","unstructured":"Reinecke, P., Krauss, T., Wolter, K.: Hyperstar: Phase-type fitting made easy. In: QEST, pp. 201\u2013202 (2012)","key":"34_CR21","DOI":"10.1109\/QEST.2012.29"},{"unstructured":"Smart Grids Task Force of the European Commission. Mission and work programme. Technical report (2012)","key":"34_CR22"},{"doi-asserted-by":"crossref","unstructured":"Szoplik, J.: The Gas Transportation in a Pipeline Network. In: Al-Megren, H. (ed.) Advances in Natural Gas Technology. InTech (2012) ISBN: 978-953-51-0507-7","key":"34_CR23","DOI":"10.5772\/36902"},{"issue":"5","key":"34_CR24","doi-asserted-by":"publisher","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. SW Eng.\u00a035(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. SW Eng."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-10557-4_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:51:48Z","timestamp":1746355908000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-10557-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319105567","9783319105574"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-10557-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}