{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:02:24Z","timestamp":1757617344882,"version":"3.44.0"},"publisher-location":"Cham","reference-count":45,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031809316"},{"type":"electronic","value":"9783031809323"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-80932-3_2","type":"book-chapter","created":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T01:13:53Z","timestamp":1739322833000},"page":"14-28","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["The Omnibus Java Library: Efficient Synthesis of\u00a0Optimal Signal Schedules for\u00a0Multimodal Intersections"],"prefix":"10.1007","author":[{"given":"Nicola","family":"Bertocci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leonardo","family":"Scommegna","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,2,13]]},"reference":[{"key":"2_CR1","unstructured":"ACEA: The 2030 urban mobility challenge. Technical report (2016)"},{"issue":"4","key":"2_CR2","first-page":"43","volume":"5","author":"P Balaji","year":"2010","unstructured":"Balaji, P., Srinivasan, D.: Multi-agent system in urban traffic signal control. IEEE Comput. Intell. Mag. 5(4), 43\u201351 (2010)","journal-title":"IEEE Comput. Intell. Mag."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bertocci, N., Carnevali, L., Scommegna, L., Vicario, E.: Efficient derivation of optimal signal schedules for multimodal intersections. Simul. Modelling Pract. Theory 102912 (2024)","DOI":"10.1016\/j.simpat.2024.102912"},{"key":"2_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 Communication Systems, pp. 185\u2013199. Springer (2018)","DOI":"10.1007\/978-3-030-00359-3_12"},{"issue":"2","key":"2_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":"2_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":"3","key":"2_CR7","doi-asserted-by":"publisher","first-page":"1086","DOI":"10.1109\/TITS.2019.2901791","volume":"21","author":"T Chu","year":"2019","unstructured":"Chu, T., Wang, J., Codec\u00e0, L., Li, Z.: Multi-agent deep reinforcement learning for large-scale traffic signal control. IEEE Tran. Intell. Transp. Syst. 21(3), 1086\u20131095 (2019)","journal-title":"IEEE Tran. Intell. Transp. Syst."},{"issue":"4","key":"2_CR8","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."},{"issue":"2","key":"2_CR9","doi-asserted-by":"publisher","first-page":"510","DOI":"10.1109\/TITS.2015.2478602","volume":"17","author":"A Di Febbraro","year":"2016","unstructured":"Di Febbraro, A., Giglio, D., Sacco, N.: A deterministic and stochastic Petri net model for traffic-responsive signaling control in urban areas. IEEE Trans. Int. Transp. Sys. 17(2), 510\u2013524 (2016)","journal-title":"IEEE Trans. Int. Transp. Sys."},{"issue":"10","key":"2_CR10","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. Pract. 12(10), 1225\u20131239 (2004)","journal-title":"Control Eng. Pract."},{"issue":"4","key":"2_CR11","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. Transp. Res. Part B: Methodol. 36(4), 325\u2013343 (2002)","journal-title":"Transp. Res. Part B: Methodol."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Dotoli, M., Fanti, M.P., Iacobellis, G.: An urban traffic network model by first order hybrid Petri nets. In: 2008 IEEE International Conference on Systems, Man and Cybernetics, pp. 1929\u20131934. IEEE (2008)","DOI":"10.1109\/ICSMC.2008.4811572"},{"issue":"1","key":"2_CR13","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":"2_CR14","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":"2_CR15","unstructured":"Fellendorf, M.: VISSIM: A microscopic simulation tool to evaluate actuated signal control including bus priority. In: 64th Institute of Transportation Engineers Annual Meeting, vol.\u00a032, pp.\u00a01\u20139. Springer (1994)"},{"key":"2_CR16","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J., Patterns, D.: Elements of reusable object-oriented software. Design Patterns (1995)"},{"key":"2_CR17","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. Transp. Res. Part C: Emer. Technol. 101, 313\u2013334 (2019)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"key":"2_CR18","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. Transp. Res. Part C: Emer. Technol. 46, 65\u201382 (2014)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"issue":"7\u20138","key":"2_CR19","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). https:\/\/doi.org\/10.1016\/j.peva.2011.11.002","journal-title":"Perform. Eval."},{"key":"2_CR20","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. Transp. Res. Part C: Emer. Technol. 99, 53\u201366 (2019)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"issue":"6","key":"2_CR21","doi-asserted-by":"publisher","first-page":"2386","DOI":"10.1109\/TITS.2019.2918204","volume":"21","author":"Y Ji","year":"2019","unstructured":"Ji, Y., Tang, Y., Shen, Y., Du, Y., Wang, W.: An integrated approach for tram prioritization in signalized corridors. IEEE Trans. Intell. Transp. Syst. 21(6), 2386\u20132395 (2019)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"2","key":"2_CR22","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":"2_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.trc.2014.10.001","volume":"49","author":"Z Li","year":"2014","unstructured":"Li, Z., Elefteriadou, L., Ranka, S.: Signal control optimization for automated vehicles at isolated signalized intersections. Transp. Res. Part C: Emer. Technol. 49, 1\u201318 (2014)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"Lighthill, M.J., Whitham, G.B.: On kinematic waves II. A theory of traffic flow on long crowded roads. Proc. Roy. Soc. Lon. Ser. A. Math. Phys. Sci. 229(1178), 317\u2013345 (1955)","DOI":"10.1098\/rspa.1955.0089"},{"issue":"2","key":"2_CR25","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/288197.581195","volume":"26","author":"C Lindemann","year":"1998","unstructured":"Lindemann, C.: Performance modelling with deterministic and stochastic petri nets. ACM Sigmetrics Perform. Eval. Rev. 26(2), 3 (1998)","journal-title":"ACM Sigmetrics Perform. Eval. Rev."},{"key":"2_CR26","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"},{"issue":"1","key":"2_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.physrep.2005.08.005","volume":"419","author":"S Maerivoet","year":"2005","unstructured":"Maerivoet, S., De Moor, B.: Cellular automata models of road traffic. Phys. Rep. 419(1), 1\u201364 (2005)","journal-title":"Phys. Rep."},{"issue":"2","key":"2_CR28","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. Int. Transp. Syst. 14(2), 858\u2013870 (2013). https:\/\/doi.org\/10.1109\/TITS.2013.2246153","journal-title":"IEEE Trans. Int. Transp. Syst."},{"issue":"6","key":"2_CR29","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":"2_CR30","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. Transp. Res. Part C: Emer. Technol. 70, 27\u201341 (2016)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"issue":"7","key":"2_CR31","doi-asserted-by":"publisher","first-page":"2864","DOI":"10.1109\/TITS.2019.2921025","volume":"21","author":"M Pourmehrab","year":"2019","unstructured":"Pourmehrab, M., Elefteriadou, L., Ranka, S., Martin-Gasulla, M.: Optimizing signalized intersections performance under conventional and automated vehicles traffic. IEEE Trans. Intell. Transp. Syst. 21(7), 2864\u20132873 (2019)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"2_CR32","doi-asserted-by":"crossref","unstructured":"Prabuchandran, K., AN, H.K., Bhatnagar, S.: Multi-agent reinforcement learning for traffic signal control. In: International IEEE Conference on Intelligent Transportation Systems, pp. 2529\u20132534. IEEE (2014)","DOI":"10.1109\/ITSC.2014.6958095"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Reddy, R., Almeida, L., Gait\u00e1n, M.G., Santos, P.M., Tovar, E.: Synchronous management of mixed traffic at signalized intersections towards sustainable road transportation. IEEE Access (2023)","DOI":"10.1109\/ACCESS.2023.3288691"},{"issue":"1","key":"2_CR34","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":"2_CR35","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. Transp. Res. Part C: Emer. Technol. 83, 104\u2013119 (2017)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"issue":"5","key":"2_CR36","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. Transp. Res. Part A: General 13(5), 295\u2013307 (1979)","journal-title":"Transp. Res. Part A: General"},{"issue":"3","key":"2_CR37","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. Transp. Res. Part C: Emer. Technol. 16(3), 332\u2013349 (2008)","journal-title":"Transp. Res. Part C: Emer. Technol."},{"issue":"5","key":"2_CR38","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."},{"issue":"5","key":"2_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.: Using stochastic state classes in quantitative evaluation of dense-time reactive systems. IEEE Trans. Softw. Eng. 35(5), 703\u2013719 (2009)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"2_CR40","unstructured":"Webster, F.V.: Traffic signal settings. Road Research Technical Paper 39. Technical report (1958)"},{"key":"2_CR41","unstructured":"Wei, H., Zheng, G., Gayah, V., Li, Z.: A survey on traffic signal control methods. arXiv preprint arXiv:1904.08117 (2019)"},{"key":"2_CR42","unstructured":"Yagar, S., Han, B., Greenough, J.: Real-time signal control. for mixed traffic and transit based on priority rules. In: Traffic Management. Proceedings of the Engineering Foundation Conference (1992)"},{"key":"2_CR43","unstructured":"Zhang, L., Garoni, T.: A comparison of tram priority at signalized intersections. arXiv preprint arXiv:1311.3590 (2013)"},{"key":"2_CR44","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":"2_CR45","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. Transp. Res. Part C: Emer. Technol. 124, 102911 (2021)","journal-title":"Transp. Res. Part C: Emer. Technol."}],"container-title":["Lecture Notes in Computer Science","Computer Performance Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-80932-3_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T04:48:57Z","timestamp":1757134137000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-80932-3_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031809316","9783031809323"],"references-count":45,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-80932-3_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"13 February 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EPEW","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Workshop on Performance Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Venice","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":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 June 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"epew2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}