{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,9]],"date-time":"2024-04-09T19:50:05Z","timestamp":1712692205073},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T00:00:00Z","timestamp":1570233600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T00:00:00Z","timestamp":1570233600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100015694","name":"Fondazione Cassa di Risparmio di Firenze","doi-asserted-by":"crossref","award":["2014.0771"],"id":[{"id":"10.13039\/501100015694","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2020,6]]},"DOI":"10.1007\/s11334-019-00355-1","type":"journal-article","created":{"date-parts":[[2019,10,5]],"date-time":"2019-10-05T07:03:01Z","timestamp":1570258981000},"page":"215-230","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Stochastic modeling and analysis of road\u2013tramway intersections"],"prefix":"10.1007","volume":"16","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[]},{"ORCID":"http:\/\/orcid.org\/0000-0002-4648-4667","authenticated-orcid":false,"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Gloria","family":"Gori","sequence":"additional","affiliation":[]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,5]]},"reference":[{"key":"355_CR1","unstructured":"ACEA (2016) The 2030 urban mobility challenge. Technical report, European Automobile Manufacturers Association"},{"issue":"2","key":"355_CR2","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/s40890-016-0017-6","volume":"2","author":"A Agarwal","year":"2016","unstructured":"Agarwal A, L\u00e4mmel G (2016) Modeling seepage behavior of smaller vehicles in mixed traffic conditions using an agent based simulation. Transp Dev Econ 2(2):12","journal-title":"Transp Dev Econ"},{"issue":"10","key":"355_CR3","doi-asserted-by":"publisher","first-page":"3072","DOI":"10.1016\/j.automatica.2013.07.008","volume":"49","author":"AR Albrecht","year":"2013","unstructured":"Albrecht AR, Howlett PG, Pudney PJ, Vu X (2013) Energy-efficient train control: from local convexity to global optimization and uniqueness. Automatica 49(10):3072\u20133078","journal-title":"Automatica"},{"issue":"1","key":"355_CR4","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/TII.2010.2098415","volume":"7","author":"S Bernardi","year":"2011","unstructured":"Bernardi S, Campos J, Merseguer J (2011) Timing-failure risk assessment of UML design using Time Petri Net bound techniques. IEEE Trans Ind Inform 7(1):90\u2013104","journal-title":"IEEE Trans Ind Inform"},{"key":"355_CR5","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1016\/j.trc.2017.07.002","volume":"82","author":"M Biagi","year":"2017","unstructured":"Biagi M, Carnevali L, Paolieri M, Vicario E (2017) Performability evaluation of the ERTMS\/ETCS-level 3. Transp Res Part C Emerg Technol 82:314\u2013336","journal-title":"Transp Res Part C Emerg Technol"},{"issue":"2","key":"355_CR6","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 (2009) State-density functions over DBM domains in the analysis of non-Markovian models. IEEE Trans Softw Eng 35(2):178\u2013194","journal-title":"IEEE Trans Softw Eng"},{"key":"355_CR7","doi-asserted-by":"crossref","unstructured":"Carnevali L, Flammini F, Paolieri M, Vicario E (2015) Non-Markovian performability evaluation of ERTMS\/ETCS level 3. In: Lecture notes in computer science 9272, EPEW 2015. Springer, pp 47\u201362","DOI":"10.1007\/978-3-319-23267-6_4"},{"key":"355_CR8","doi-asserted-by":"crossref","unstructured":"Carnevali L, Fantechi A, Gori G, Vicario E (2018) Analysis of a road\/tramway intersection by the ORIS tool. In: International conference on verification and evaluation of computer and communication systems. Springer, pp 185\u2013199","DOI":"10.1007\/978-3-030-00359-3_12"},{"key":"355_CR9","doi-asserted-by":"publisher","first-page":"35","DOI":"10.3141\/2003-05","volume":"2003","author":"D Charypar","year":"2007","unstructured":"Charypar D, Axhausen K, Nagel K (2007) Event-driven queue-based traffic flow microsimulation. Transport Res Res 2003:35\u201340","journal-title":"Transport Res Res"},{"issue":"1\u20133","key":"355_CR10","first-page":"333","volume":"20","author":"H Choi","year":"1994","unstructured":"Choi H, Kulkarni VG, Trivedi KS (1994) Markov regenerative stochastic Petri nets. Perform Eval 20(1\u20133):333\u2013357","journal-title":"Perform Eval"},{"key":"355_CR11","unstructured":"Dobler C, L\u00e4mmel G (2013) Integration of a multi-modal simulation module into a framework for large-scale transport systems simulation. In: Pedestrian and evacuation dynamics 2012. Springer, pp 739\u2013754"},{"key":"355_CR12","unstructured":"ERTRAC (2009) ERTRAC road transport scenario 2030+ \u201croad to implementation\u201d. Technical report, European Road Transport Research Advisory Council"},{"key":"355_CR13","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1016\/j.trc.2017.09.018","volume":"85","author":"H Fujii","year":"2017","unstructured":"Fujii H, Uchida H, Yoshimura S (2017) Agent-based simulation framework for mixed traffic of cars, pedestrians and trams. Transp Res C Emerg Technol 85:234\u2013248","journal-title":"Transp Res C Emerg Technol"},{"key":"355_CR14","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/3155338","volume":"28","author":"V Galpin","year":"2018","unstructured":"Galpin V, Zon N, Wilsdorf P, Gilmore S (2018) Mesoscopic modelling of pedestrian movement using C arma and its tools. ACM Trans Model Comput Simul 28:11","journal-title":"ACM Trans Model Comput Simul"},{"issue":"3","key":"355_CR15","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1142\/S0129183198000303","volume":"9","author":"C Gawron","year":"1998","unstructured":"Gawron C (1998) An iterative algorithm to determine the dynamic user equilibrium in a traffic simulation model. Int J Mod Phys C 9(3):393\u2013407","journal-title":"Int J Mod Phys C"},{"issue":"4","key":"355_CR16","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1109\/TITS.2009.2026310","volume":"10","author":"M Ghazel","year":"2009","unstructured":"Ghazel M (2009) Using stochastic Petri nets for level-crossing collision risk assessment. IEEE Trans Intell Transp Syst 10(4):668\u2013677","journal-title":"IEEE Trans Intell Transp Syst"},{"issue":"3","key":"355_CR17","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1109\/TITS.2013.2294874","volume":"15","author":"M Ghazel","year":"2014","unstructured":"Ghazel M, El-Koursi E (2014) Two-half-barrier level crossings versus four-half-barrier level crossings: a comparative risk analysis study. IEEE Trans Intell Transp Syst 15(3):1123\u20131133","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"355_CR18","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1016\/j.enconman.2014.01.060","volume":"80","author":"A Gonz\u00e1lez-Gil","year":"2014","unstructured":"Gonz\u00e1lez-Gil A, Palacin R, Batty P, Powell J (2014) A systems approach to reduce urban rail energy consumption. Energy Convers Manag 80:509\u2013524","journal-title":"Energy Convers Manag"},{"issue":"2","key":"355_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0191-2615(95)00022-4","volume":"30","author":"A Higgins","year":"1996","unstructured":"Higgins A, Kozan E, Ferreira L (1996) Optimal scheduling of trains on a single line track. Transp Res B Methodol 30(2):147\u2013161","journal-title":"Transp Res B Methodol"},{"issue":"7\u20138","key":"355_CR20","doi-asserted-by":"publisher","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 (2012) Transient analysis of non-Markovian models using stochastic state classes. Perform Eval 69(7\u20138):315\u2013335","journal-title":"Perform Eval"},{"issue":"4","key":"355_CR21","doi-asserted-by":"publisher","first-page":"968","DOI":"10.1109\/TITS.2010.2076390","volume":"11","author":"Y Huang","year":"2010","unstructured":"Huang Y, Weng Y, Zhou M (2010) Critical scenarios and their identification in parallel railroad level crossing traffic control systems. IEEE Trans Intell Transp Syst 11(4):968\u2013977","journal-title":"IEEE Trans Intell Transp Syst"},{"issue":"47","key":"355_CR22","doi-asserted-by":"publisher","first-page":"9971","DOI":"10.1088\/0305-4470\/35\/47\/303","volume":"35","author":"BS Kerner","year":"2002","unstructured":"Kerner BS, Klenov SL, Wolf DE (2002) Cellular automata approach to three-phase traffic theory. J Phys A Math Gen 35(47):9971\u201310013","journal-title":"J Phys A Math Gen"},{"key":"355_CR23","unstructured":"Krajzewicz D, Hertkorn G, R\u00f6ssel C, Wagner P (2002) SUMO (Simulation of Urban MObility)-an open-source traffic simulation. In: 4th middle east symposium on simulation and modelling, pp 183\u2013187"},{"issue":"3&4","key":"355_CR24","first-page":"128","volume":"5","author":"D Krajzewicz","year":"2012","unstructured":"Krajzewicz D, Erdmann J, Behrisch M, Bieker L (2012) Recent development and applications of SUMO-Simulation of Urban MObility. Int J Adv Syst Meas 5(3&4):128\u2013138","journal-title":"Int J Adv Syst Meas"},{"key":"355_CR25","unstructured":"Krajzewicz D, Erdmann J, H\u00e4rri J, Spyropoulos T (2014) Including pedestrian and bicycle traffic into the traffic simulation SUMO. In: ITS 2014, 10th ITS European congress, 16\u201319 June 2014, Helsinki, Finland"},{"issue":"supp01","key":"355_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218488513400011","volume":"21","author":"X Li","year":"2013","unstructured":"Li X, Yang X (2013) A stochastic timetable optimization model in subway systems. Int J Uncertain Fuzziness Knowl Based Syst 21(supp01):1\u201315","journal-title":"Int J Uncertain Fuzziness Knowl Based Syst"},{"key":"355_CR27","unstructured":"Mubasher MM, ul Qounain JSW (2015) Systematic literature review of vehicular traffic flow simulators. In: 2015 international conference on open source software computing (OSSCOM), pp 1\u20136"},{"issue":"29","key":"355_CR28","doi-asserted-by":"publisher","first-page":"5090","DOI":"10.1016\/j.atmosenv.2011.06.036","volume":"45","author":"J Ondr\u00e1\u010dek","year":"2011","unstructured":"Ondr\u00e1\u010dek J, Schwarz J, \u017dd\u00edmal V, And\u011blov\u00e1 L, Vodi\u010dka P, B\u00edzek V, Tsai CJ, Chen SC, Smol\u00edk J (2011) Contribution of the road traffic to air pollution in the Prague city (busy speedway and suburban crossroads). Atmos Environ 45(29):5090\u20135100","journal-title":"Atmos Environ"},{"key":"355_CR29","doi-asserted-by":"publisher","unstructured":"Paolieri M, Biagi M, Carnevali L, Vicario E (2019) The ORIS tool: quantitative evaluation of non-Markovian systems. IEEE Trans Softw Eng. \n https:\/\/doi.org\/10.1109\/TSE.2019.2917202","DOI":"10.1109\/TSE.2019.2917202"},{"issue":"45","key":"355_CR30","doi-asserted-by":"publisher","first-page":"3973","DOI":"10.1016\/j.physleta.2011.09.037","volume":"375","author":"G Peng","year":"2011","unstructured":"Peng G, Cai X, Liu C, Cao B, Tuo M (2011) Optimal velocity difference model for a car-following theory. Phys Lett A 375(45):3973\u20133977","journal-title":"Phys Lett A"},{"key":"355_CR31","unstructured":"PTV GROUP (2011) Ptv vissim"},{"key":"355_CR32","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.trc.2017.07.014","volume":"83","author":"J Shi","year":"2017","unstructured":"Shi J, Sun Y, Schonfeld P, Qi J (2017) Joint optimization of tram timetables and signal timing adjustments at intersections. Transp Res C Emerg Technol 83:104\u2013119","journal-title":"Transp Res C Emerg Technol"},{"issue":"2","key":"355_CR33","doi-asserted-by":"publisher","first-page":"1397","DOI":"10.1007\/s11071-012-0542-8","volume":"70","author":"T Tang","year":"2012","unstructured":"Tang T, Wang Y, Yang X, Wu Y (2012) A new car-following model accounting for varying road condition. Nonlinear Dyn 70(2):1397\u20131405","journal-title":"Nonlinear Dyn"},{"key":"355_CR34","first-page":"89","volume":"975","author":"M Taplin","year":"2019","unstructured":"Taplin M (2019) New tramways for 2019. Tramw Urban Transit 975:89\u201394","journal-title":"Tramw Urban Transit"},{"issue":"5","key":"355_CR35","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1109\/MCOM.2009.4939290","volume":"47","author":"OK Tonguz","year":"2009","unstructured":"Tonguz OK, Viriyasitavat W, Bai F (2009) Modeling urban traffic: a cellular automata approach. IEEE Commun Mag 47(5):142\u2013150","journal-title":"IEEE Commun Mag"},{"key":"355_CR36","unstructured":"Transportation Research Board of the National Academies (2015) Traffic and transportation simulation. Looking back and looking ahead: celebrating 50 years of traffic flow theory. A workshop. Technical report E-C195, Washington DC"},{"key":"355_CR37","first-page":"69","volume":"22","author":"O Ullrich","year":"2012","unstructured":"Ullrich O, Franz S, Speckenmeyer E, L\u00fcckerath D (2012) Simulation and optimization of Cologne\u2019s tram schedule. Simul Notes Europe (SNE) 22:69\u201376","journal-title":"Simul Notes Europe (SNE)"},{"key":"355_CR38","doi-asserted-by":"publisher","first-page":"1","DOI":"10.11128\/sne.25.tn.10271","volume":"25","author":"O Ullrich","year":"2015","unstructured":"Ullrich O, L\u00fcckerath D, Speckenmeyer E (2015) A robust schedule for Montpellier\u2019s Tramway network. Simul Notes Europe (SNE) 25:1\u20138","journal-title":"Simul Notes Europe (SNE)"},{"key":"355_CR39","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 (2009) Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans Softw Eng 35:703\u2013719","journal-title":"IEEE Trans Softw Eng"},{"issue":"3","key":"355_CR40","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1016\/j.tra.2005.08.001","volume":"40","author":"J Yang","year":"2006","unstructured":"Yang J, Deng W, Wang J, Li Q, Wang Z (2006) Modeling pedestrians\u2019 road crossing behavior in traffic system micro-simulation in China. Transp Res A Policy 40(3):280\u2013290","journal-title":"Transp Res A Policy"},{"issue":"1","key":"355_CR41","first-page":"17","volume":"11","author":"S Yoshimura","year":"2006","unstructured":"Yoshimura S (2006) MATES: multi-agent based traffic and environmental simulator-theory, implementation and practical application. Comput Model Eng Sci 11(1):17\u201325","journal-title":"Comput Model Eng Sci"},{"key":"355_CR42","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.trc.2014.01.007","volume":"40","author":"W Zeng","year":"2014","unstructured":"Zeng W, Chen P, Nakamura H, Iryo-Asano M (2014) Application of social force model to pedestrian behavior analysis at signalized crosswalk. Transp Res C Emerg Technol 40:143\u2013159","journal-title":"Transp Res C Emerg Technol"},{"issue":"2","key":"355_CR43","doi-asserted-by":"publisher","first-page":"1205","DOI":"10.1007\/s11071-012-0524-x","volume":"70","author":"LJ Zheng","year":"2012","unstructured":"Zheng LJ, Tian C, Sun DH, Liu WN (2012) A new car-following model with consideration of anticipation driving behavior. Nonlinear Dyn 70(2):1205\u20131211","journal-title":"Nonlinear Dyn"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-019-00355-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-019-00355-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-019-00355-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,3]],"date-time":"2020-10-03T23:18:54Z","timestamp":1601767134000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-019-00355-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,5]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["355"],"URL":"https:\/\/doi.org\/10.1007\/s11334-019-00355-1","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"value":"1614-5046","type":"print"},{"value":"1614-5054","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,10,5]]},"assertion":[{"value":"30 March 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"5 October 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}