{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,6]],"date-time":"2026-02-06T05:08:13Z","timestamp":1770354493884,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642408939","type":"print"},{"value":"9783642408946","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40894-6_15","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T10:39:24Z","timestamp":1378982364000},"page":"184-198","source":"Crossref","is-referenced-by-count":7,"title":["Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning"],"prefix":"10.1007","author":[{"given":"Felicita","family":"Di Giandomenico","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano Leone","family":"Itria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Dicembre, A., Ricci, S.: Multi-Method Analysis for the assessment of Railway Operation on the western part of Rome\u2019s Railway Node. In: Proceedings of the 12th World Conference on Transportation Research, Lisboa, Portugal (July 2010)"},{"key":"15_CR2","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01088807","volume":"9","author":"W. Aalst Van Der","year":"1995","unstructured":"Van Der Aalst, W., Odijk, M.: Analysis of railway stations by means of interval timed coloured petri nets. Real-Time Systems\u00a09, 241\u2013263 (1995)","journal-title":"Real-Time Systems"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"774","DOI":"10.1016\/j.tre.2007.04.001","volume":"44","author":"M. Abril","year":"2008","unstructured":"Abril, M., Barber, F., Ingolotti, L., Salido, M.A., Tormos, P., Lova, A.: An assessment of railway capacity. Transportation Research Part E-Logistic and Transportation Review\u00a044, 774\u2013806 (2008)","journal-title":"Transportation Research Part E-Logistic and Transportation Review"},{"key":"15_CR4","doi-asserted-by":"publisher","first-page":"616","DOI":"10.1016\/j.trb.2005.09.004","volume":"40","author":"R. Burdett","year":"2006","unstructured":"Burdett, R., Kozan, E.: Techniques for absolute capacity determination in railways. Transportation Research Part B: Methodological\u00a040, 616\u2013632 (2006)","journal-title":"Transportation Research Part B: Methodological"},{"key":"15_CR5","unstructured":"CENELEC. EN50126 Railway Applications - The Specification and Demonstration of Reliability, Availability, Maintainability and Safety (RAMS) (1997)"},{"key":"15_CR6","unstructured":"Clark, G., Courtney, T., Daly, D., Deavours, D.D., Derisavi, S., Doyle, J.M., Sanders, W.H., Webster, P.G.: The Mobius modeling tool. In: 9th Int. Workshop on Petri Nets and Performance Models, Aachen, Germany, pp. 241\u2013250. IEEE Computer Society Press (September 2001)"},{"key":"15_CR7","unstructured":"Kontaxi, E., Ricci, S.: Railway Capacity Analysis: Methodological Framework and Harmonization Perspectives. In: Proceedings of the 12th World Conference on Transportation Research, Lisboa, Portugal (July 2010)"},{"issue":"3","key":"15_CR8","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1109\/TASE.2008.916925","volume":"5","author":"A. Giua","year":"2008","unstructured":"Giua, A., Seatzu, C.: Modeling and supervisory control of railway networks using petri nets. IEEE Transactions on Automation Science and Engineering\u00a05(3), 431\u2013445 (2008)","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Iliasov, A., Romanovsky, A.: SafeCap domain language for reasoning about safety and capacity. Technical Report Series CS-TR-1352, Newcastle University, Computing Science (2012)","DOI":"10.1109\/WDTS-RASD.2012.11"},{"key":"15_CR10","unstructured":"Movaghar, A., Meyer, J.F.: Performability modelling with stochastic activity networks. In: Real-Time Systems Symposium, Austin, TX, pp. 215\u2013224 (1984)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1109\/TDSC.2004.11","volume":"1","author":"D.M. Nicol","year":"2004","unstructured":"Nicol, D.M., Sanders, W.H., Trivedi, K.S.: Model-based evaluation: from dependability to security. IEEE Transactions on Dependable and Secure Computing\u00a01, 48\u201365 (2004)","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"key":"15_CR12","first-page":"723","volume":"9","author":"S. Ricci","year":"2009","unstructured":"Ricci, S., Tieri, A.: Check and forecasting of railway traffic regularity by a petri nets based simulation model. Ingegneria Ferroviaria\u00a09, 723\u2013765 (2009)","journal-title":"Ingegneria Ferroviaria"},{"key":"15_CR13","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":"W.H. 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.) FMPA 2000. LNCS, vol.\u00a02090, pp. 315\u2013343. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","Software Engineering for Resilient Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40894-6_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T02:02:41Z","timestamp":1558317761000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40894-6_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642408939","9783642408946"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40894-6_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}