{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:38:40Z","timestamp":1742913520634,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030870126"},{"type":"electronic","value":"9783030870133"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-87013-3_9","type":"book-chapter","created":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T14:08:05Z","timestamp":1631196485000},"page":"115-126","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Combining SysML with Petri Nets for the Design of an Urban Traffic Signal Control"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9908-0949","authenticated-orcid":false,"given":"Layse Santos","family":"Souza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7193-5087","authenticated-orcid":false,"given":"Michel S.","family":"Soares","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,9,10]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"Adacher, L., Tiriolo, M.: A distributed approach for traffic signal synchronization problem. In: 2016 Third International Conference on Mathematics and Computers in Sciences and in Industry (MCSI), pp. 191\u2013196 (2016)","DOI":"10.1109\/MCSI.2016.043"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"An, Y., Zhu, C., Chen, P., Li, Y.: Modeling and analysis of transit signal priority control systems based on colored petri nets. In: IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 2701\u20132706. IEEE (2017)","DOI":"10.1109\/SMC.2017.8123034"},{"issue":"2","key":"9_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s40890-016-0018-5","volume":"2","author":"G Asaithambi","year":"2016","unstructured":"Asaithambi, G., Kuttan, M.O., Chandra, S.: Pedestrian road crossing behavior under mixed traffic conditions: a comparative study of an intersection before and after implementing control measures. Transp. Dev. Econ. 2(2), 1\u201312 (2016). https:\/\/doi.org\/10.1007\/s40890-016-0018-5","journal-title":"Transp. Dev. Econ."},{"issue":"1","key":"9_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10270-014-0400-x","volume":"15","author":"G Biggs","year":"2016","unstructured":"Biggs, G., Sakamoto, T., Kotoku, T.: A profile and tool for modelling safety information with design information in SysML. Softw. Syst. Model. 15(1), 147\u2013178 (2016)","journal-title":"Softw. Syst. Model."},{"key":"9_CR5","doi-asserted-by":"publisher","first-page":"1182","DOI":"10.1016\/j.procs.2017.05.394","volume":"109","author":"GB Castro","year":"2017","unstructured":"Castro, G.B., Hirakawa, A.R., Martini, J.S.: Adaptive traffic signal control based on bio-neural network. Procedia Comput. Sci. 109, 1182\u20131187 (2017)","journal-title":"Procedia Comput. Sci."},{"key":"9_CR6","volume-title":"A Practical Guide to SysML: The Systems Modeling Language","author":"S Friedenthal","year":"2014","unstructured":"Friedenthal, S., Moore, A., Steiner, R.: A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann Publishers Inc., Burlington (2014)"},{"issue":"3","key":"9_CR7","doi-asserted-by":"publisher","first-page":"2183","DOI":"10.1016\/j.ifacol.2015.06.412","volume":"48","author":"YS Huang","year":"2015","unstructured":"Huang, Y.S., Shiue, J.Y., Luo, J.: A traffic signal control policy for emergency vehicles preemption using timed petri nets. IFAC-PapersOnLine 48(3), 2183\u20132188 (2015)","journal-title":"IFAC-PapersOnLine"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1016\/j.trc.2014.11.009","volume":"58","author":"T Le","year":"2015","unstructured":"Le, T., Kov\u00e1cs, P., Walton, N., Vu, H.L., Andrew, L.L., Hoogendoorn, S.S.: Decentralized signal control for urban road networks. Transp. Res. Part C Emerging Technol. 58, 431\u2013450 (2015)","journal-title":"Transp. Res. Part C Emerging Technol."},{"issue":"7","key":"9_CR9","doi-asserted-by":"publisher","first-page":"2073","DOI":"10.1007\/s00521-015-1931-y","volume":"31","author":"C Ma","year":"2019","unstructured":"Ma, C., He, R.: Green wave traffic control system optimization based on adaptive genetic-artificial fish swarm algorithm. Neural Comput. Appl. 31(7), 2073\u20132083 (2019)","journal-title":"Neural Comput. Appl."},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","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":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-030-22038-9_8","volume-title":"Detection of Intrusions and Malware, and Vulnerability Assessment","author":"Z Ning","year":"2019","unstructured":"Ning, Z., Zhang, F., Remias, S.: Understanding the security of traffic signal infrastructure. In: Perdisci, R., Maurice, C., Giacinto, G., Almgren, M. (eds.) DIMVA 2019. LNCS, vol. 11543, pp. 154\u2013174. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-22038-9_8"},{"key":"9_CR12","unstructured":"OMG: Systems Modeling Language (OMG SysML) Version 1.6 (2019)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/j.aap.2017.01.018","volume":"101","author":"O Oviedo-Trespalacios","year":"2017","unstructured":"Oviedo-Trespalacios, O., Haque, M.M., King, M., Washington, S.: Effects of road infrastructure and traffic complexity in speed adaptation behaviour of distracted drivers. Accid. Anal. Prev. 101, 67\u201377 (2017)","journal-title":"Accid. Anal. Prev."},{"issue":"3","key":"9_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri Nets. ACM Comput. Surv. 9(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv."},{"key":"9_CR15","unstructured":"Petri, C.A.: Kommunikation mit Automaten. Ph.D. thesis, Universit\u00e4t Hamburg (1962)"},{"key":"9_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-69968-9","volume-title":"Petri Nets: An Introduction","author":"W Reisig","year":"1985","unstructured":"Reisig, W.: Petri Nets: An Introduction. Springer, New York (1985). https:\/\/doi.org\/10.1007\/978-3-642-69968-9"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-31128-4_1","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2012","author":"EA Silvestre","year":"2012","unstructured":"Silvestre, E.A., Soares, M.S.: Modeling road traffic signals control using UML and the MARTE profile. In: Murgante, B., et al. (eds.) ICCSA 2012. LNCS, vol. 7336, pp. 1\u201315. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-31128-4_1"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Soares, M.S., Vrancken, J.L.M.: Road traffic signals modeling and analysis with petri nets and linear logic. In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2007, London, UK, 15\u201317 April 2007, pp. 169\u2013174. IEEE (2007)","DOI":"10.1109\/ICNSC.2007.372771"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Soares, M.S., Vrancken, J.L.M.: Responsive traffic signals designed with petri nets. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Singapore, 12\u201315 October 2008, pp. 1942\u20131947. IEEE (2008)","DOI":"10.1109\/ICSMC.2008.4811574"},{"key":"9_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-030-58817-5_29","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2020","author":"LS Souza","year":"2020","unstructured":"Souza, L.S., Misra, S., Soares, M.S.: SmartCitySysML: a SysML profile for\u00a0smart cities applications. In: Gervasi, O., et al. (eds.) ICCSA 2020. LNCS, vol. 12254, pp. 383\u2013397. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-58817-5_29"},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1109\/MIS.2016.66","volume":"31","author":"C Vilarinho","year":"2016","unstructured":"Vilarinho, C., Tavares, J.P., Rossetti, R.J.F.: Design of a multiagent system for real-time traffic control. IEEE Intell. Syst. 31(4), 68\u201380 (2016)","journal-title":"IEEE Intell. Syst."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Vrancken, J.L.M., van Schuppen, J.H., Soares, M.S., Ottenhof, F.: A hierarchical model and implementation architecture for road traffic control. In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, San Antonio, TX, USA, 11\u201314 October 2009, pp. 3540\u20133544. IEEE (2009)","DOI":"10.1109\/ICSMC.2009.5346841"},{"key":"9_CR23","unstructured":"Wei, H., Zheng, G., Gayah, V., Li, Z.: A survey on traffic signal control methods. arXiv preprint arXiv:1904.08117 (2019)"},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/s10270-019-00735-y","volume":"19","author":"S Wolny","year":"2020","unstructured":"Wolny, S., Mazak, A., Carpella, C., Geist, V., Wimmer, M.: Thirteen years of SysML: a systematic mapping study. Softw. Syst. Model. 19(1), 111\u2013169 (2020)","journal-title":"Softw. Syst. Model."},{"issue":"3","key":"9_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3068287","volume":"50","author":"KLA Yau","year":"2017","unstructured":"Yau, K.L.A., Qadir, J., Khoo, H.L., Ling, M.H., Komisarczuk, P.: A survey on reinforcement learning models and algorithms for traffic signal control. ACM Comput. Surv. 50(3), 1\u201338 (2017)","journal-title":"ACM Comput. Surv."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"Yuan, Y.: Application of intelligent technology in urban traffic congestion. In: 2020 International Conference on Computer Engineering and Application - ICCEA 2020, pp. 721\u2013725 (2020)","DOI":"10.1109\/ICCEA50009.2020.00157"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/978-3-642-02457-3_3","volume-title":"Computational Science and Its Applications \u2013 ICCSA 2009","author":"J Zhao","year":"2009","unstructured":"Zhao, J., Duan, Z.: Verification of use case with petri nets in requirement analysis. In: Gervasi, O., Taniar, D., Murgante, B., Lagan\u00e0, A., Mun, Y., Gavrilova, M.L. (eds.) ICCSA 2009. LNCS, vol. 5593, pp. 29\u201342. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02457-3_3"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2021"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-87013-3_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,9]],"date-time":"2021-09-09T14:24:23Z","timestamp":1631197463000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-87013-3_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030870126","9783030870133"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-87013-3_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"10 September 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCSA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cagliari","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":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccsa2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/iccsa.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Customed version of CyberChair 4","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1588","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"466","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"29% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2,5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"8","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}