{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:25:27Z","timestamp":1764865527697,"version":"3.46.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032107619"},{"type":"electronic","value":"9783032107626"}],"license":[{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,16]],"date-time":"2025-11-16T00:00:00Z","timestamp":1763251200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10762-6_18","type":"book-chapter","created":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T16:07:59Z","timestamp":1763222879000},"page":"231-236","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Derivation of\u00a0Optimal Signal Schedules for\u00a0Multimodal Intersections"],"prefix":"10.1007","author":[{"given":"N.","family":"Bertocci","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5896-4860","authenticated-orcid":false,"given":"L.","family":"Carnevali","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7293-0210","authenticated-orcid":false,"given":"L.","family":"Scommegna","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4983-4386","authenticated-orcid":false,"given":"E.","family":"Vicario","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,11,16]]},"reference":[{"key":"18_CR1","unstructured":"ACEA: The 2030 urban mobility challenge. Technical Report (2016)"},{"key":"18_CR2","doi-asserted-by":"publisher","unstructured":"Bertocci, N., Carnevali, L., Scommegna, L., Vicario, E.: Efficient derivation of optimal signal schedules for multimodal intersections. Simulation Modelling Practice and Theory, p. 102912 (2024). https:\/\/doi.org\/10.1016\/j.simpat.2024.102912","DOI":"10.1016\/j.simpat.2024.102912"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., De\u00a0Meer, H., Trivedi, K.S.: Queueing networks and Markov chains: modeling and performance evaluation with computer science applications. John Wiley & Sons (2006)","DOI":"10.1002\/0471791571"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Carnevali, L., Fantechi, A., Gori, G., Vicario, E.: Analysis of a road\/tramway intersection by the ORIS tool. In: International Conference on Verification and Evaluation of Computer and Comm. Systems, pp. 185\u2013199. Springer (2018)","DOI":"10.1007\/978-3-030-00359-3_12"},{"issue":"2","key":"18_CR5","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s11334-019-00355-1","volume":"16","author":"L Carnevali","year":"2020","unstructured":"Carnevali, L., Fantechi, A., Gori, G., Vicario, E.: Stochastic modeling and analysis of road-tramway intersections. Innovations Syst. Softw. Eng. 16(2), 215\u2013230 (2020)","journal-title":"Innovations Syst. Softw. Eng."},{"issue":"4","key":"18_CR6","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1080\/01441647.2015.1091048","volume":"36","author":"C Cheng","year":"2016","unstructured":"Cheng, C., Du, Y., Sun, L., Ji, Y.: Review on theoretical delay estimation model for signalized intersections. Transp. Rev. 36(4), 479\u2013499 (2016)","journal-title":"Transp. Rev."},{"issue":"4","key":"18_CR7","first-page":"224","volume":"5","author":"A Di Febbraro","year":"2004","unstructured":"Di Febbraro, A., Giglio, D., Sacco, N.: Urban traffic control structure based on hybrid Petri nets. IEEE Tr. Int. Tran. Sys. 5(4), 224\u2013237 (2004)","journal-title":"IEEE Tr. Int. Tran. Sys."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Di Febbraro, A., Giglio, D.: On representing signalized urban areas by means of deterministic-timed Petri nets. In: International Conference on Intelligent Transportation Systems, pp. 372\u2013377 (2004)","DOI":"10.1109\/ITSC.2004.1398927"},{"issue":"10","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1225","DOI":"10.1016\/j.conengprac.2004.04.008","volume":"12","author":"A Di Febbraro","year":"2004","unstructured":"Di Febbraro, A., Sacco, N.: On modelling urban transportation networks via hybrid Petri nets. Control Eng. Practices 12(10), 1225\u20131239 (2004)","journal-title":"Control Eng. Practices"},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1016\/S0191-2615(01)00006-6","volume":"36","author":"F Dion","year":"2002","unstructured":"Dion, F., Hellinga, B.: A rule-based real-time traffic responsive signal control system with transit priority: application to an isolated intersection. Trans. Res. Part B: Methodol. 36(4), 325\u2013343 (2002)","journal-title":"Trans. Res. Part B: Methodol."},{"issue":"1","key":"18_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s12544-020-00440-8","volume":"12","author":"M Eom","year":"2020","unstructured":"Eom, M., Kim, B.-I.: The traffic signal control problem for intersections: a review. Eur. Transp. Res. Rev. 12(1), 1\u201320 (2020). https:\/\/doi.org\/10.1186\/s12544-020-00440-8","journal-title":"Eur. Transp. Res. Rev."},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Faria, R., Brito, L., Baras, K., Silva, J.: Smart mobility: a survey. In: International Conference on IoT for the Global Community, pp.\u00a01\u20138. IEEE (2017)","DOI":"10.1109\/IoTGC.2017.8008972"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.trc.2019.01.026","volume":"101","author":"Q Guo","year":"2019","unstructured":"Guo, Q., Li, L., Ban, X.J.: Urban traffic signal control with connected and automated vehicles: a survey. Trans. Res. Part C: Emerg. Technol. 101, 313\u2013334 (2019)","journal-title":"Trans. Res. Part C: Emerg. Technol."},{"key":"18_CR14","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.trc.2014.05.001","volume":"46","author":"Q He","year":"2014","unstructured":"He, Q., Head, K.L., Ding, J.: Multi-modal traffic signal control with priority, signal actuation and coordination. Trans. Res. Part C: Emerg. Technol. 46, 65\u201382 (2014)","journal-title":"Trans. Res. Part C: Emerg. Technol."},{"issue":"7\u20138","key":"18_CR15","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.: Transient analysis of non-Markovian models using stochastic state classes. Perform. Eval. 69(7\u20138), 315\u2013335 (2012)","journal-title":"Perform. Eval."},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.trc.2019.01.008","volume":"99","author":"Y Ji","year":"2019","unstructured":"Ji, Y., Tang, Y., Du, Y., Zhang, X.: Coordinated optimization of tram trajectories with arterial signal timing resynchronization. Trans. Res. Part C: Emerg. Technol. 99, 53\u201366 (2019)","journal-title":"Trans. Res. Part C: Emerg. Technol."},{"key":"18_CR17","volume-title":"Queueing Systems: Theory","author":"L Kleinrock","year":"1975","unstructured":"Kleinrock, L., Gail, R.: Queueing Systems: Theory, vol. 1. Wiley, New York (1975)"},{"issue":"2","key":"18_CR18","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/s11768-012-9221-z","volume":"10","author":"Y Li","year":"2012","unstructured":"Li, Y., Sun, D.: Microscopic car-following model for the traffic flow: the state of the art. J. Contr. Theory and Appl. 10(2), 133\u2013143 (2012)","journal-title":"J. Contr. Theory and Appl."},{"key":"18_CR19","doi-asserted-by":"crossref","unstructured":"Lopez, P.A., et al.: Microscopic traffic simulation using SUMO. In: International Conference on Intelligent Transportation Systems, pp. 2575\u20132582. IEEE (2018)","DOI":"10.1109\/ITSC.2018.8569938"},{"key":"18_CR20","doi-asserted-by":"crossref","unstructured":"Maerivoet, S., De Moor, B.: Cellular automata models of road traffic. Phys. Rep. 419(1), 1\u201364 (2005)","DOI":"10.1016\/j.physrep.2005.08.005"},{"issue":"2","key":"18_CR21","doi-asserted-by":"publisher","first-page":"858","DOI":"10.1109\/TITS.2013.2246153","volume":"14","author":"KM Ng","year":"2013","unstructured":"Ng, K.M., Reaz, M.B.I., Ali, M.A.M.: A review on the applications of Petri nets in modeling, analysis, and control of urban traffic. IEEE Trans. on Int. Transp. Sys. 14(2), 858\u2013870 (2013). https:\/\/doi.org\/10.1109\/TITS.2013.2246153","journal-title":"IEEE Trans. on Int. Transp. Sys."},{"issue":"6","key":"18_CR22","doi-asserted-by":"publisher","first-page":"1211","DOI":"10.1109\/TSE.2019.2917202","volume":"47","author":"M Paolieri","year":"2021","unstructured":"Paolieri, M., Biagi, M., Carnevali, L., Vicario, E.: The ORIS tool: quantitative evaluation of non-Markovian systems. IEEE Trans. Softw. Eng. 47(6), 1211\u20131225 (2021)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"18_CR23","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.trc.2015.11.016","volume":"70","author":"C Portilla","year":"2016","unstructured":"Portilla, C., Valencia, F., Espinosa, J., Nunez, A., De Schutter, B.: Model-based predictive control for bicycling in urban intersections. Trans. Res. Part C: Emerg. Technol. 70, 27\u201341 (2016)","journal-title":"Trans. Res. Part C: Emerg. Technol."},{"issue":"1","key":"18_CR24","doi-asserted-by":"publisher","first-page":"69","DOI":"10.3141\/2035-08","volume":"2035","author":"A Sharma","year":"2007","unstructured":"Sharma, A., Bullock, D.M., Bonneson, J.A.: Input-output and hybrid techniques for real-time prediction of delay and maximum queue length at signalized intersections. Transp. Res. Record 2035(1), 69\u201380 (2007)","journal-title":"Transp. Res. Record"},{"key":"18_CR25","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.: Joint optimization of tram timetables and signal timing adjustments at intersections. Trans. Res. Part C: Emerg. Technol. 83, 104\u2013119 (2017)","journal-title":"Trans. Res. Part C: Emerg. Technol."},{"key":"18_CR26","unstructured":"SIRIO Library: (2024). https:\/\/github.com\/oris-tool\/sirio"},{"issue":"5","key":"18_CR27","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0191-2607(79)90028-1","volume":"13","author":"G Stephanopoulos","year":"1979","unstructured":"Stephanopoulos, G., Michalopoulos, P.G., Stephanopoulos, G.: Modelling and analysis of traffic queue dynamics at signalized intersections. Trans. Res. Part A: General 13(5), 295\u2013307 (1979)","journal-title":"Trans. Res. Part A: General"},{"issue":"3","key":"18_CR28","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1016\/j.trc.2008.01.002","volume":"16","author":"J Stevanovic","year":"2008","unstructured":"Stevanovic, J., Stevanovic, A., Martin, P.T., Bauer, T.: Stochastic optimization of traffic control and transit priority settings in VISSIM. Trans. Res. Part C: Emerg. Technol. 16(3), 332\u2013349 (2008)","journal-title":"Trans. Res. Part C: Emerg. Technol."},{"key":"18_CR29","doi-asserted-by":"crossref","unstructured":"Tian, N., Zhang, Z.G.: Vacation queueing models: theory and applications, vol.\u00a093. Springer Science & Business Media (2006)","DOI":"10.1007\/978-0-387-33723-4"},{"issue":"5","key":"18_CR30","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1109\/MCOM.2009.4939290","volume":"47","author":"OK Tonguz","year":"2009","unstructured":"Tonguz, O.K., Viriyasitavat, W., Bai, F.: Modeling urban traffic: a cellular automata approach. IEEE Comm. Maga. 47(5), 142\u2013150 (2009)","journal-title":"IEEE Comm. Maga."},{"key":"18_CR31","unstructured":"Wei, H., Zheng, G., Gayah, V., Li, Z.: A survey on traffic signal control methods. arXiv preprint arXiv:1904.08117 (2019)"},{"key":"18_CR32","doi-asserted-by":"publisher","first-page":"176896","DOI":"10.1109\/ACCESS.2019.2957437","volume":"7","author":"T Zhang","year":"2019","unstructured":"Zhang, T., Mao, B., Xu, Q., Feng, J.: Timetable optimization for a two-way tram line with an active signal priority strategy. IEEE Access 7, 176896\u2013176911 (2019)","journal-title":"IEEE Access"},{"key":"18_CR33","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2020.102911","volume":"124","author":"Y Zhang","year":"2021","unstructured":"Zhang, Y., Su, R.: An optimization model and traffic light control scheme for heterogeneous traffic systems. Trans. Res. Part C: Emerg. Technol. 124, 102911 (2021)","journal-title":"Trans. Res. Part C: Emerg. Technol."}],"container-title":["Lecture Notes in Computer Science","Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10762-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T16:23:42Z","timestamp":1764865422000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10762-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,16]]},"ISBN":["9783032107619","9783032107626"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10762-6_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,16]]},"assertion":[{"value":"16 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RSSRail","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Reliability, Safety, and Security of Railway Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Pisa","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 November 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 November 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rssrail2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rssrail2025.isti.cnr.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}