{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:52:45Z","timestamp":1771026765746,"version":"3.50.1"},"reference-count":54,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T00:00:00Z","timestamp":1544400000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2019,4,30]]},"abstract":"<jats:p>We propose an approach for assessing the impact of multi-phased repair procedures on gas distribution networks, capturing load profiles that can depend on time for different classes of users, suspension of activities during non-working hours, and random execution times depending on topological, physical, and geographical characteristics of the network. The problem is characterized through a semi-formal specification based on artifacts of the Systems Modeling Language (SysML), which is then translated into a formal model based on stochastic time Petri nets. The solution method interleaves fluid-dynamic analysis of the gas behavior and stochastic analysis of the time spent in the repair process, decoupling complexities and making stochastic analysis almost insensitive to the network size and topology. Hence, our approach turns out to be applicable to real scale cases, notably computing the optimal time of day to start the repair procedure. Moreover, by encompassing general (non-Markovian) distributions, the approach enables effective fitting of durations.<\/jats:p>","DOI":"10.1145\/3284037","type":"journal-article","created":{"date-parts":[[2018,12,10]],"date-time":"2018-12-10T13:09:16Z","timestamp":1544447356000},"page":"1-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Model-Based Quantitative Evaluation of Repair Procedures in Gas Distribution Networks"],"prefix":"10.1145","volume":"3","author":[{"given":"Marco","family":"Biagi","sequence":"first","affiliation":[{"name":"University of Florence, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[{"name":"University of Florence, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Tarani","sequence":"additional","affiliation":[{"name":"University of Florence, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[{"name":"University of Florence, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,12,10]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/EESMS.2016.7504843"},{"key":"e_1_2_1_2_1","volume-title":"Retrieved on","author":"Homepage AEEGSI","year":"2017","unstructured":"AEEGSI 2017. Homepage . Retrieved on June 1, 2017 from http:\/\/www.autorita.energia.it\/it\/inglese\/about\/presentazione.htm. AEEGSI 2017. Homepage. Retrieved on June 1, 2017 from http:\/\/www.autorita.energia.it\/it\/inglese\/about\/presentazione.htm."},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_12"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2016.06.013"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2098415"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"e_1_2_1_8_1","volume-title":"Petriu","author":"Bernardi Simona","year":"2013","unstructured":"Simona Bernardi , Jos\u00e9 Merseguer , and Dorina C . Petriu . 2013 . Model-Driven Dependability Assessment of Software Systems. Springer . Simona Bernardi, Jos\u00e9 Merseguer, and Dorina C. Petriu. 2013. Model-Driven Dependability Assessment of Software Systems. Springer."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3150928.3158361"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2017.07.002"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02227-3_5"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.825765"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2009.01.016"},{"key":"e_1_2_1_14_1","volume-title":"Using AHP in determining the prior distributions on gas pipeline failures in a robust Bayesian approach. Reliability Engineering 8 System Safety 67, 3","author":"Cagno Enrico","year":"2000","unstructured":"Enrico Cagno , Franco Caron , Mauro Mancini , and Fabrizio Ruggeri . 2000. Using AHP in determining the prior distributions on gas pipeline failures in a robust Bayesian approach. Reliability Engineering 8 System Safety 67, 3 ( 2000 ), 275--284. Enrico Cagno, Franco Caron, Mauro Mancini, and Fabrizio Ruggeri. 2000. Using AHP in determining the prior distributions on gas pipeline failures in a robust Bayesian approach. Reliability Engineering 8 System Safety 67, 3 (2000), 275--284."},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-22264-6_3"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10557-4_34"},{"key":"e_1_2_1_17_1","volume-title":"Performability evaluation of water distribution systems during maintenance procedures","author":"Carnevali Laura","year":"2018","unstructured":"Laura Carnevali , Fabio Tarani , and Enrico Vicario . 2018. Performability evaluation of water distribution systems during maintenance procedures . IEEE Transactions on Systems, Man, and Cybernetics: Systems PP ( 2018 ), 1--17. Laura Carnevali, Fabio Tarani, and Enrico Vicario. 2018. Performability evaluation of water distribution systems during maintenance procedures. IEEE Transactions on Systems, Man, and Cybernetics: Systems PP (2018), 1--17."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1680\/ijoti.1939.13150"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2017.02.039"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jngse.2014.04.002"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10518-013-9478-8"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apm.2008.02.012"},{"key":"e_1_2_1_23_1","volume-title":"Government On-Line Sustainability Performance Information Exchange of the Scottish Government. Retrieved on","author":"Government Scottish","year":"2014","unstructured":"Scottish Government . 2014. Government On-Line Sustainability Performance Information Exchange of the Scottish Government. Retrieved on October 1, 2014 from http:\/\/data.glasgow.gov.uk\/dataset\/atlantic-quay-half-hourly-gas-consumption. Scottish Government. 2014. Government On-Line Sustainability Performance Information Exchange of the Scottish Government. Retrieved on October 1, 2014 from http:\/\/data.glasgow.gov.uk\/dataset\/atlantic-quay-half-hourly-gas-consumption."},{"key":"e_1_2_1_24_1","volume-title":"International Conference on Probabilistic Methods Applied to Power Systems 1--5.","author":"Helseth Arild","unstructured":"Arild Helseth and Arne T. Holen . 2006. Reliability modeling of gas and electric power distribution systems; similarities and differences . In International Conference on Probabilistic Methods Applied to Power Systems 1--5. Arild Helseth and Arne T. Holen. 2006. Reliability modeling of gas and electric power distribution systems; similarities and differences. In International Conference on Probabilistic Methods Applied to Power Systems 1--5."},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31559-1_9"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/647809.737952"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPWRS.2008.2004739"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1002\/aic.12419"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(99)00020-6"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584375"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02924-0_4"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/24.273586"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.583-594"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2005.10.021"},{"key":"e_1_2_1_37_1","volume-title":"UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems v1.0","author":"Object Management Group","unstructured":"Object Management Group . 2009. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems v1.0 . Object Management Group . Object Management Group. 2009. UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems v1.0. Object Management Group."},{"key":"e_1_2_1_38_1","volume-title":"OMG System Modeling Language","author":"Object Management Group","unstructured":"Object Management Group . 2017. OMG System Modeling Language . Object Management Group . Object Management Group. 2017. OMG System Modeling Language. Object Management Group."},{"key":"e_1_2_1_39_1","volume-title":"Retrieved on","author":"Tool ORIS","year":"2018","unstructured":"ORIS Tool . 2018. Homepage. Retrieved on October 1, 2018 from http:\/\/www.oris-tool.org. ORIS Tool. 2018. Homepage. Retrieved on October 1, 2018 from http:\/\/www.oris-tool.org."},{"key":"e_1_2_1_40_1","volume-title":"International Conference on System Reliability and Science. 122--129","author":"Pino Willem","unstructured":"Willem Pino , Daniel Worm , Ruud van der Linden, and Robert Kooij. 2016. The reliability of a gas distribution network: A case study . In International Conference on System Reliability and Science. 122--129 . Willem Pino, Daniel Worm, Ruud van der Linden, and Robert Kooij. 2016. The reliability of a gas distribution network: A case study. In International Conference on System Reliability and Science. 122--129."},{"key":"e_1_2_1_41_1","first-page":"2323","article-title":"Reliability analysis of a natural gas compression station and surrounding gas pipeline network with assuming of performance changes by a dispatcher","volume":"3","author":"Praks Pavel","year":"2007","unstructured":"Pavel Praks , Josef Chudoba , Radim Bris , and Miroslav Koucky . 2007 . Reliability analysis of a natural gas compression station and surrounding gas pipeline network with assuming of performance changes by a dispatcher . Risk, Reliability and Societal Safety 3 (2007), 2323 -- 2330 . Pavel Praks, Josef Chudoba, Radim Bris, and Miroslav Koucky. 2007. Reliability analysis of a natural gas compression station and surrounding gas pipeline network with assuming of performance changes by a dispatcher. Risk, Reliability and Societal Safety 3 (2007), 2323--2330.","journal-title":"Risk, Reliability and Societal Safety"},{"key":"e_1_2_1_42_1","volume-title":"International Scientific Conference on Electric Power Engineering. 69--74","author":"Praks Pavel","year":"2014","unstructured":"Pavel Praks , Sergio Contini , and Vytis Kopustinskas . 2014 . Monte Carlo and fault tree approaches in reliability applications of gas transmission network . In International Scientific Conference on Electric Power Engineering. 69--74 . Pavel Praks, Sergio Contini, and Vytis Kopustinskas. 2014. Monte Carlo and fault tree approaches in reliability applications of gas transmission network. In International Scientific Conference on Electric Power Engineering. 69--74."},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSTE.2013.2274818"},{"key":"e_1_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2011.11.003"},{"key":"e_1_2_1_45_1","volume-title":"Advances in Natural Gas Technology. Dr","author":"Szoplik Jolanta","unstructured":"Jolanta Szoplik . 2012. The Gas Transportation in a Pipeline Network , Advances in Natural Gas Technology. Dr . Hamid Al-Megren (Ed.), InTech , 339--359. Jolanta Szoplik. 2012. The Gas Transportation in a Pipeline Network, Advances in Natural Gas Technology. Dr. Hamid Al-Megren (Ed.), InTech, 339--359."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.energy.2015.03.084"},{"key":"e_1_2_1_47_1","volume-title":"Mechanism Based Failure Analysis","author":"Tinga Tiedo","unstructured":"Tiedo Tinga . 2012. Mechanism Based Failure Analysis . Netherlands Defence Academy , Kraanstraat . Tiedo Tinga. 2012. Mechanism Based Failure Analysis. Netherlands Defence Academy, Kraanstraat."},{"key":"e_1_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.18"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2014.07.004"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"},{"key":"e_1_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2007.903268"},{"key":"e_1_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlp.2014.05.009"},{"key":"e_1_2_1_53_1","volume-title":"Wolfram Research","author":"Wolfram Wolfram Mathematica","unstructured":"Wolfram Mathematica 2017. Wolfram Mathematica 11. Wolfram Research , Oxfordshire, United Kingdom . Wolfram Mathematica 2017. Wolfram Mathematica 11. Wolfram Research, Oxfordshire, United Kingdom."},{"key":"e_1_2_1_54_1","volume-title":"Stochastic optimal control model for natural gas networks. Computers 8 Chemical Engineering 64","author":"Zavala Victor M.","year":"2014","unstructured":"Victor M. Zavala . 2014. Stochastic optimal control model for natural gas networks. Computers 8 Chemical Engineering 64 ( 2014 ), 103--113. Victor M. Zavala. 2014. Stochastic optimal control model for natural gas networks. Computers 8 Chemical Engineering 64 (2014), 103--113."}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3284037","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3284037","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:08:01Z","timestamp":1750208881000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3284037"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,10]]},"references-count":54,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4,30]]}},"alternative-id":["10.1145\/3284037"],"URL":"https:\/\/doi.org\/10.1145\/3284037","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,12,10]]},"assertion":[{"value":"2017-06-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-10-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2018-12-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}