{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T23:53:02Z","timestamp":1770335582019,"version":"3.49.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319231280","type":"print"},{"value":"9783319231297","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","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":[[2015]]},"DOI":"10.1007\/978-3-319-23129-7_7","type":"book-chapter","created":{"date-parts":[[2015,8,27]],"date-time":"2015-08-27T09:03:18Z","timestamp":1440666198000},"page":"82-98","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System"],"prefix":"10.1007","author":[{"given":"Davide","family":"Basile","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvano","family":"Chiaradonna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felicita","family":"Di Giandomenico","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,28]]},"reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-540-72522-0_3","volume-title":"Formal Methods for Performance Evaluation","author":"G Balbo","year":"2007","unstructured":"Balbo, G.: Introduction to generalized stochastic petri nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 83\u2013131. Springer, Heidelberg (2007)"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/288197.581194","volume":"26","author":"F Bause","year":"1998","unstructured":"Bause, F., Kritzinger, P.S.: Stochastic petri nets: an introduction to the theory. SIGMETRICS Perform. Eval. Rev. 26(2), 2\u20133 (1998)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"7_CR3","doi-asserted-by":"publisher","unstructured":"Berger, L.T., Schwager, A., Joaqu\u00edn Escudero-Garz\u00e1s, J.: Power line communications for smart grid applications. J. Electr. Comput. Eng. 2013, Article ID 712376, 16 (2013). doi:10.1155\/2013\/712376","DOI":"10.1155\/2013\/712376"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.: The m\u00f6bius modeling tool. In: Proceedings of the 9th International Workshop on Petri Nets and Performance Models, pp. 241\u2013250 (2001)","DOI":"10.1109\/PNPM.2001.953373"},{"issue":"1\u20132","key":"7_CR5","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1008330914786","volume":"11","author":"R David","year":"2001","unstructured":"David, R., Alla, H.: On hybrid petri nets. Discrete Event Dyn. Syst. 11(1\u20132), 9\u201340 (2001)","journal-title":"Discrete Event Dyn. Syst."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1007\/978-3-642-40894-6_15","volume-title":"Software Engineering for Resilient Systems","author":"F Di Giandomenico","year":"2013","unstructured":"Di Giandomenico, F., Fantechi, A., Gnesi, S., Itria, M.L.: Stochastic model-based analysis of railway operation to support traffic planning. In: Gorbenko, A., Romanovsky, A., Kharchenko, V. (eds.) SERENE 2013. LNCS, vol. 8166, pp. 184\u2013198. Springer, Heidelberg (2013)"},{"key":"7_CR7","unstructured":"Erbes, T., Shukla, S.K., Kachroo, P.: Stochastic learning feedback hybrid automata for dynamic power management in embedded systems. In: SMCia\/05, IEEE Mid-Summer Workshop on Soft Computing in Industrial Applications, June 2005"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Ghasemieh, H., Boudewijn, R., Haverkort, M.R.J., Remke, A.: Energy resilience modeling for smart houses. In: DSN (2015, to appear)","DOI":"10.1109\/DSN.2015.31"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"390","DOI":"10.1007\/978-3-642-20401-2_18","volume-title":"Rigorous Software Engineering for Service-Oriented Systems","author":"S Gnesi","year":"2011","unstructured":"Gnesi, S., Mazzanti, F.: An abstract, on the fly framework for the verification of service-oriented systems. In: Wirsing, M., H\u00f6lzl, M. (eds.) SENSORIA. LNCS, vol. 6582, pp. 390\u2013407. Springer, Heidelberg (2011)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/978-3-319-10702-8_8","volume-title":"Formal Methods for Industrial Critical Systems","author":"F Mazzanti","year":"2014","unstructured":"Mazzanti, F., Spagnolo, G.O., Della Longa, S., Ferrari, A.: Deadlock avoidance in train scheduling: a model checking approach. In: Lang, F., Flammini, F. (eds.) FMICS 2014. LNCS, vol. 8718, pp. 109\u2013123. Springer, Heidelberg (2014)"},{"issue":"1","key":"7_CR11","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1109\/MCOM.2013.6400445","volume":"51","author":"S Misra","year":"2013","unstructured":"Misra, S., Krishna, P.V., Saritha, V., Obaidat, M.S.: Learning automata as a utility for power management in smart grids. IEEE Commun. Mag. 51(1), 98\u2013104 (2013)","journal-title":"IEEE Commun. Mag."},{"key":"7_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-642-31063-8_25","volume-title":"Product-Focused Software Process Improvement","author":"SC M\u00fcller","year":"2012","unstructured":"M\u00fcller, S.C., H\u00e4ger, U., Rehtanz, C., Wedde, H.F.: Application of self-organizing systems in power systems control. In: Dieste, O., Jedlitschka, A., Juristo, N. (eds.) PROFES 2012. LNCS, vol. 7343, pp. 320\u2013334. Springer, Heidelberg (2012)"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Qiu, Q., Wu, Q., Pedram, M.: Dynamic power management of complex systems using generalized stochastic petri nets. In: DAC, pp. 352\u2013356 (2000)","DOI":"10.1145\/337292.337438"},{"key":"7_CR14","unstructured":"http:\/\/www.railsco.com\/~electric_switch_heater_controls.htm"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"WH Sanders","year":"2001","unstructured":"Sanders, W.H., Meyer, J.F.: Stochastic activity networks: formal definitions and concepts. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, pp. 315\u2013343. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23129-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T05:34:10Z","timestamp":1748583250000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23129-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319231280","9783319231297"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23129-7_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"28 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}