{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T12:39:06Z","timestamp":1718195946148},"reference-count":58,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2017,5,24]],"date-time":"2017-05-24T00:00:00Z","timestamp":1495584000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int. J. ITS Res."],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s13177-017-0144-4","type":"journal-article","created":{"date-parts":[[2017,5,24]],"date-time":"2017-05-24T06:02:12Z","timestamp":1495605732000},"page":"138-150","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and Analysis of Oversaturated Intersections Using Jointly Hybrid Petri net and Hybrid Automata"],"prefix":"10.1007","volume":"16","author":[{"given":"Fares","family":"Bouriachi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sihem","family":"Kechida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,5,24]]},"reference":[{"key":"144_CR1","unstructured":"Webster, F.V.: \u201cTraffic Signal Settings,\u201d Road Research Technique Paper No. 39. Road Research Laboratory, London (1958)"},{"issue":"4","key":"144_CR2","doi-asserted-by":"crossref","first-page":"568","DOI":"10.1287\/opre.14.4.568","volume":"14","author":"JDC Little","year":"1966","unstructured":"Little, J.D.C.: The synchronization of traffic signals by mixed-integer linear programming. Oper Res. 14(4), 568\u2013594 (Jul. 1966)","journal-title":"Oper Res"},{"issue":"04","key":"144_CR3","first-page":"276","volume":"11","author":"D Robertson","year":"1969","unstructured":"Robertson, D.: TRANSYT: a traffic network study tool. Traffic Eng Control. 11(04), 276\u2013281 (1969)","journal-title":"Traffic Eng Control"},{"key":"144_CR4","volume-title":"HCM 2010 Highway capacity manual. Transportation Research Board","author":"TRB","year":"2010","unstructured":"TRB: HCM 2010 Highway capacity manual. Transportation Research Board. National Research Council, Washington, D.C (2010)"},{"key":"144_CR5","first-page":"190","volume":"23","author":"H. P. et al","year":"1982","unstructured":"H. P. et al: The SCOOT on-line traffic signal optimization technique. Traffic Eng Control. 23, 190\u2013192 (1982)","journal-title":"Traffic Eng Control"},{"issue":"1983","key":"144_CR6","first-page":"75","volume":"906","author":"N Gartner","year":"1983","unstructured":"Gartner, N.: OPAC: a demand responsive strategy for traffic signal control. Transp Res Rec. 906(1983), 75\u201381 (1983)","journal-title":"Transp Res Rec"},{"key":"144_CR7","unstructured":"Gartner, C.M., Tarnoff, N.H., Andrews, P.J.: Evaluation of optimized policies for adaptive control strategy. Transp. Res. Rec. 1324, 105\u2013114 (1991)"},{"issue":"6","key":"144_CR8","doi-asserted-by":"crossref","first-page":"815","DOI":"10.1287\/opre.12.6.815","volume":"12","author":"DC Gazis","year":"1964","unstructured":"Gazis, D.C.: Optimum control of a system of oversaturated intersections. Oper Res. 12(6), 815\u2013831 (1964)","journal-title":"Oper Res"},{"issue":"6","key":"144_CR9","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1016\/0041-1647(77)90006-5","volume":"11","author":"PG Michalopoulos","year":"1977","unstructured":"Michalopoulos, P.G., Stephanopoulos, G.: Oversaturated signal systems with queue length constraints\u2014I. Transp Res. 11(6), 413\u2013421 (1977)","journal-title":"Transp Res"},{"issue":"6","key":"144_CR10","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1016\/S0191-2615(99)00034-X","volume":"34","author":"T-H Chang","year":"2000","unstructured":"Chang, T.-H., Lin, J.-T.: Optimal signal timing for an oversaturated intersection. Transp Res Part B Methodol. 34(6), 471\u2013491 (2000)","journal-title":"Transp Res Part B Methodol"},{"issue":"8","key":"144_CR11","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1016\/j.trb.2003.08.002","volume":"38","author":"TH Chang","year":"2004","unstructured":"Chang, T.H., Sun, G.Y.: Modeling and optimization of an oversaturated signalized network. Transp Res Part B Methodol. 38(8), 687\u2013707 (2004)","journal-title":"Transp Res Part B Methodol"},{"issue":"2","key":"144_CR12","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/j.trc.2008.10.002","volume":"17","author":"K Aboudolas","year":"2009","unstructured":"Aboudolas, K., Papageorgiou, M., Kosmatopoulos, E.: Store-and-forward based methods for the signal control problem in large-scale congested urban road networks. Transp Res Part C Emerg Technol. 17(2), 163\u2013174 (2009)","journal-title":"Transp Res Part C Emerg Technol"},{"key":"144_CR13","unstructured":"U. States and B. Early, \u201cDevelopment of Traffic Control and,\u201d no. 970707."},{"key":"144_CR14","doi-asserted-by":"crossref","unstructured":"Abu-Lebdeh, G., Benekohal, R.F.: Development of traffic control and queue management procedures for oversaturated arterials. Transp. Res. Rec.: J Transp Res Board. 1603, 119\u2013127 (1997)","DOI":"10.3141\/1603-16"},{"key":"144_CR15","doi-asserted-by":"crossref","first-page":"122","DOI":"10.3141\/1811-15","volume":"1811","author":"M Girianna","year":"2002","unstructured":"Girianna, M., Benekohal, R.: Dynamic signal coordination for networks with oversaturated intersections. Transp Res Rec J Transp Res Board. 1811, 122\u2013130 (2002)","journal-title":"Transp Res Rec J Transp Res Board"},{"issue":"1","key":"144_CR16","doi-asserted-by":"crossref","first-page":"61","DOI":"10.3141\/1727-08","volume":"1727","author":"G Abu-Lebdeh","year":"2000","unstructured":"Abu-Lebdeh, G., Benekohal, R.F.: Genetic algorithms for traffic signal control and queue management of oversaturated two-way arterials. Transp Res Rec J Transp Res Board. 1727(1), 61\u201367 (2000)","journal-title":"Transp Res Rec J Transp Res Board"},{"key":"144_CR17","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3141\/1727-10","volume":"1727","author":"E Lieberman","year":"2000","unstructured":"Lieberman, E., Chang, J., Prassas, E.: Formulation of real-time control policy for oversaturated arterials. Transp Res Rec J Transp Res Board. 1727, 77\u201388 (2000)","journal-title":"Transp Res Rec J Transp Res Board"},{"issue":"4","key":"144_CR18","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1109\/TITS.2011.2125957","volume":"12","author":"P Lertworawanich","year":"2011","unstructured":"Lertworawanich, P., Kuwahara, M., Miska, M.: A new Multiobjective signal optimization for oversaturated networks. IEEE Trans Intell Transp Syst. 12(4), 967\u2013976 (2011)","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"144_CR19","doi-asserted-by":"crossref","unstructured":"Hajbabaie, A., Benekohal R.F.: A Program for Simultaneous Network Signal Timing Optimization and Traffic Assignment. IEEE Trans Intell Transp Syst. 16(5), 2573\u20132586 (2015)","DOI":"10.1109\/TITS.2015.2413360"},{"issue":"2","key":"144_CR20","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0191-2615(94)00022-R","volume":"29","author":"CF Daganzo","year":"1995","unstructured":"Daganzo, C.F.: The cell transmission model, part II: network traffic. Transp Res Part B Methodol. 29(2), 79\u201393 (1995)","journal-title":"Transp Res Part B Methodol"},{"key":"144_CR21","first-page":"433","volume":"33","author":"HK Lo","year":"1999","unstructured":"Lo, H.K.: A novel tra \u2022 c signal control formulation. Transp Res. 33, 433\u2013448 (1999)","journal-title":"Transp Res"},{"issue":"5","key":"144_CR22","doi-asserted-by":"crossref","first-page":"1466","DOI":"10.1007\/s11771-012-1163-6","volume":"19","author":"P Wang","year":"2012","unstructured":"Wang, P., Jones, L.S., Yang, Q.: A novel conditional cell transmission model for oversaturated arterials. J Cent South Univ. 19(5), 1466\u20131474 (2012)","journal-title":"J Cent South Univ"},{"key":"144_CR23","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/j.sbspro.2011.08.050","volume":"20","author":"J Rohde","year":"2011","unstructured":"Rohde, J., Friedrich, B.: Offset optimizing with CTM and genetic algorithms: results from field studies in Hannover. Procedia - Soc Behav Sci. 20, 437\u2013444 (2011)","journal-title":"Procedia - Soc Behav Sci"},{"key":"144_CR24","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.trb.2015.03.005","volume":"77","author":"K Han","year":"2015","unstructured":"Han, K., Gayah, V.V.: Continuum signalized junction model for dynamic traffic networks: offset, spillback, and multiple signal phases. Transp Res Part B Methodol. 77, 213\u2013239 (2015)","journal-title":"Transp Res Part B Methodol"},{"key":"144_CR25","doi-asserted-by":"crossref","unstructured":"Jang, K., Kim, H., Jang, I.G.: Traffic signal optimization for oversaturated urban networks: queue growth equalization. IEEE Trans Intell Transp Syst. 16(4), 2121\u20132128 (2015)","DOI":"10.1109\/TITS.2015.2398896"},{"key":"144_CR26","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/j.trb.2015.08.011","volume":"81","author":"P Li","year":"2015","unstructured":"Li, P., Mirchandani, P., Zhou, X.: Solving simultaneous route guidance and traffic signal optimization problem using space-phase-time hypernetwork. Transp Res Part B Methodol. 81, 103\u2013130 (2015)","journal-title":"Transp Res Part B Methodol"},{"key":"144_CR27","doi-asserted-by":"crossref","unstructured":"Xiang, W., Xiao, J., Jiang, Y.: Real-time signalization for an oversaturated intersection via static state feedback control: a switched system approach. J Franklin Inst. 352(8), 3304\u20133324 (2015)","DOI":"10.1016\/j.jfranklin.2014.09.017"},{"issue":"4","key":"144_CR28","doi-asserted-by":"crossref","first-page":"703","DOI":"10.1016\/j.jfranklin.2011.01.012","volume":"348","author":"F Motawej","year":"2011","unstructured":"Motawej, F., Bouyekhf, R., El Moudni, A.: A dissipativity-based approach to traffic signal control for an over-saturated intersection. J Frankl Inst. 348(4), 703\u2013717 (2011)","journal-title":"J Frankl Inst"},{"issue":"4","key":"144_CR29","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata, T.: Petri nets: properties, analysis and applications. Proc IEEE. 77(4), 541\u2013580 (1989)","journal-title":"Proc IEEE"},{"key":"144_CR30","unstructured":"Hr\u00faz, B., Zhou, M.: Modeling and control of discrete-event dynamic systems: with petri nets and other tools. Springer Science & Business Media, London (2007)"},{"issue":"1","key":"144_CR31","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1109\/TSMCA.2012.2192266","volume":"43","author":"D Liu","year":"2013","unstructured":"Liu, D., Li, Z., Zhou, M.: Hybrid liveness-enforcing policy for generalized petri net models of flexible manufacturing systems. IEEE Trans Syst Man, Cybern Part ASystems Humans. 43(1), 85\u201397 (2013)","journal-title":"IEEE Trans Syst Man, Cybern Part ASystems Humans"},{"issue":"2","key":"144_CR32","first-page":"858","volume":"14","author":"KM Ng","year":"2013","unstructured":"Ng, K.M., Bin, M., Reaz, I., Alauddin, M., Ali, M.: A Review on the Applications of Petri Nets in Modeling. Analysis , and Control of Urban Traffic. 14(2), 858\u2013870 (2013)","journal-title":"Analysis , and Control of Urban Traffic"},{"key":"144_CR33","doi-asserted-by":"crossref","unstructured":"G. F. List and M. Cetin, \u201cModeling Traffic Signal Control Using Petri Nets,\u201d vol. 5, no. 3, pp. 177\u2013187, 2004.","DOI":"10.1109\/TITS.2004.833763"},{"key":"144_CR34","first-page":"364","volume":"5","author":"MA Badamchizadeh","year":"2010","unstructured":"Badamchizadeh, M.A., Joroughi, M.: Deterministic and stochastic Petri Net for urban traffic systems. 2010 2nd Int Conf Comput Autom Eng. 5, 364\u2013368 (2010)","journal-title":"2010 2nd Int Conf Comput Autom Eng"},{"issue":"2","key":"144_CR35","doi-asserted-by":"crossref","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 Intell Transp Syst. 17(2), 510\u2013524 (2016)","journal-title":"IEEE Trans Intell Transp Syst"},{"key":"144_CR36","doi-asserted-by":"crossref","unstructured":"Huang, Y.-S., Weng, Y.-S., Zhou M.: Modular design of urban traffic-light control systems based on synchronized timed Petri nets. IEEE Trans Intell Transp Syst. 15(2), 530\u2013539 (2014)","DOI":"10.1109\/TITS.2013.2283034"},{"key":"144_CR37","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1016\/S0166-5316(98)00016-9","volume":"33","author":"H Alla","year":"1998","unstructured":"Alla, H., David, R.: A modelling and analysis tool for discrete events systems: continuous petri net. Perform Eval. 33, 175\u2013199 (1998)","journal-title":"Perform Eval"},{"key":"144_CR38","doi-asserted-by":"crossref","unstructured":"J\u00falvez, J., Boel, R.: Modelling and controlling traffic behaviour with continuous Petri nets. IFAC Proceedings. 38(1), 43\u201348 (2005)","DOI":"10.3182\/20050703-6-CZ-1902.00292"},{"issue":"4","key":"144_CR39","doi-asserted-by":"crossref","first-page":"686","DOI":"10.1109\/TSMCA.2010.2041448","volume":"40","author":"J J\u00falvez","year":"2010","unstructured":"J\u00falvez, J., Boel, R.: A continuous petri net approach for model predictive control of traffic systems. Ieee Trans Syst Cybern. 40(4), 686\u2013697 (2010)","journal-title":"Ieee Trans Syst Cybern"},{"key":"144_CR40","doi-asserted-by":"crossref","unstructured":"David, R., Alla H.: Discrete, continuous, and hybrid Petri nets. Springer Science & Business Media, Heidelberg (2010)","DOI":"10.1007\/978-3-642-10669-9"},{"issue":"10","key":"144_CR41","doi-asserted-by":"crossref","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"},{"key":"144_CR42","doi-asserted-by":"crossref","unstructured":"M. K. Jbira and M. Ahmed, \u201cComputer Simulation: A Hybrid Model for Traffic Signal Optimisation,\u201d vol. 7, no. 1, pp. 1\u201316, 2011.","DOI":"10.3745\/JIPS.2011.7.1.001"},{"issue":"8","key":"144_CR43","doi-asserted-by":"crossref","first-page":"4357","DOI":"10.1016\/j.jfranklin.2014.05.002","volume":"351","author":"F Chen","year":"2014","unstructured":"Chen, F., Wang, L., Jiang, B., Wen, C.: A novel hybrid petri net model for urban intersection and its application in signal control strategy. J Frankl Inst. 351(8), 4357\u20134380 (2014)","journal-title":"J Frankl Inst"},{"issue":"1","key":"144_CR44","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theor Comput Sci. 138(1), 3\u201334 (Feb. 1995)","journal-title":"Theor Comput Sci"},{"key":"144_CR45","first-page":"1105","volume":"2","author":"X Zhao","year":"2003","unstructured":"Zhao, X., Chen, Y.: Traffic light control method for a single intersection based on hybrid systems. Proc 2003 I.E. Int Conf Intell Transp Syst. 2, 1105\u20131109 (2003)","journal-title":"Proc 2003 I.E. Int Conf Intell Transp Syst"},{"key":"144_CR46","unstructured":"Herman Sutarto and Ren\u00e9 Boel, \u201cHybrid Automata Model Approach for Coordinating Traffic Signal Control Herman Sutarto and Ren\u00e9 Boel SYSTeMS Research Group , Department of EESA , University of Ghent Intersection-1 Intersection-2 References: 1 . E . Lefeber and J. E Rooda, Controller d,\u201d vol. 363, p. 01, 2010."},{"key":"144_CR47","doi-asserted-by":"crossref","unstructured":"Chen, Y., Li, W., Guo, Y., Wu, Y.: Dynamic Graph Hybrid Automata: A Modeling Method for Traffic Network. 2015 I.E. 18th Int Conf Intell Transp Syst. 1396\u20131401 (2015)","DOI":"10.1109\/ITSC.2015.229"},{"key":"144_CR48","doi-asserted-by":"crossref","unstructured":"A. T. Sava and H. Alla, \u201cCombining Hybrid Petri Nets and Hybrid Automata,\u201d vol. 17, no. 5, pp. 670\u2013678, 2001.","DOI":"10.1109\/70.964667"},{"key":"144_CR49","doi-asserted-by":"crossref","unstructured":"H. Motallebi and M. A. Azgomi, \u201cTranslation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata *,\u201d Fundam. Informaticae, vol. 130, no. October 2012, pp. 275\u2013315, 2014.","DOI":"10.3233\/FI-2014-993"},{"key":"144_CR50","unstructured":"Ghomri, L., Alla, H., Sari, Z.: Structural and hierarchical translation of hybrid Petri nets in hybrid automata. IMACS05 (2005)"},{"issue":"4","key":"144_CR51","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1007\/s11768-012-0186-8","volume":"10","author":"M Zhang","year":"2012","unstructured":"Zhang, M., Jia, L., Zhu, W.: A cell-based robust optimal coordinated control on urban arterial road. J Control Theory Appl. 10(4), 543\u2013548 (2012)","journal-title":"J Control Theory Appl"},{"key":"144_CR52","doi-asserted-by":"crossref","unstructured":"Tolba, C., et al.: Continuous and timed Petri nets for the macroscopic and microscopic traffic flow modelling. Simul Model Pract Theory. 13(5), 407\u2013436 (2005)","DOI":"10.1016\/j.simpat.2005.01.001"},{"issue":"2","key":"144_CR53","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1016\/j.nahs.2006.04.004","volume":"1","author":"L Ghomri","year":"2007","unstructured":"Ghomri, L., Alla, H.: Modeling and analysis using hybrid petri nets. Nonlinear Anal Hybrid Syst. 1(2), 141\u2013153 (2007)","journal-title":"Nonlinear Anal Hybrid Syst"},{"issue":"1","key":"144_CR54","doi-asserted-by":"crossref","first-page":"94","DOI":"10.1006\/jcss.1998.1581","volume":"57","author":"T a Henzinger","year":"1998","unstructured":"Henzinger, T.a., Kopke, P.W., Puri, A., Varaiya, P.: What\u2019s decidable about hybrid automata? J Comput Syst Sci. 57(1), 94\u2013124 (1998)","journal-title":"J Comput Syst Sci"},{"key":"144_CR55","unstructured":"Ghomri, L., Alla, H.: Continuous flow systems and control methodology using hybrid petri nets. Control Eng Appl Inf 15(4), 106\u2013116 (2013)"},{"key":"144_CR56","doi-asserted-by":"crossref","unstructured":"G. Frehse, \u201cPHAVer: Algorithmic Verification of Hybrid Systems past HyTech,\u201d no. Hscc 2005, pp. 258\u2013273, 2006.","DOI":"10.1007\/978-3-540-31954-2_17"},{"issue":"6","key":"144_CR57","doi-asserted-by":"crossref","first-page":"646","DOI":"10.1007\/s40313-016-0275-x","volume":"27","author":"F Bouriachi","year":"2016","unstructured":"Bouriachi, F., Kechida, S.: Hybrid petri nets and hybrid automata for modeling and control of two adjacent oversaturated intersections. Journal of Control, Automation and Electrical Systems. 27(6), 646\u2013657 (Sep. 2016)","journal-title":"Journal of Control, Automation and Electrical Systems"},{"key":"144_CR58","doi-asserted-by":"publisher","unstructured":"Bouriachi, F., Kechida, S.:\u00a0\u201cControl of large-scale urban traffic networks using hierarchical hybrid automata,\u201d 2016 8th International Conference on Modelling, Identification and Control (ICMIC), Algiers. 751\u2013756 (2016). doi: 10.1109\/ICMIC.2016.7804212","DOI":"10.1109\/ICMIC.2016.7804212"}],"container-title":["International Journal of Intelligent Transportation Systems Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13177-017-0144-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13177-017-0144-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13177-017-0144-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T10:19:44Z","timestamp":1602152384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13177-017-0144-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5,24]]},"references-count":58,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["144"],"URL":"https:\/\/doi.org\/10.1007\/s13177-017-0144-4","relation":{},"ISSN":["1348-8503","1868-8659"],"issn-type":[{"value":"1348-8503","type":"print"},{"value":"1868-8659","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,5,24]]}}}