{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T06:55:59Z","timestamp":1743144959425,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030925109"},{"type":"electronic","value":"9783030925116"}],"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-92511-6_14","type":"book-chapter","created":{"date-parts":[[2021,12,7]],"date-time":"2021-12-07T14:05:12Z","timestamp":1638885912000},"page":"221-232","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling and\u00a0Cycle Analysis of\u00a0Traffic Signal Systems Based on\u00a0Timed Networks"],"prefix":"10.1007","author":[{"given":"Yingxuan","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cailu","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haiyong","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuegang","family":"Tao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,12,8]]},"reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.automatica.2015.01.002","volume":"53","author":"D Adzkiya","year":"2015","unstructured":"Adzkiya, D., De Schutter, B., Abate, A.: Computational techniques for reachability analysis of max-plus-linear systems. Automatica 53, 293\u2013302 (2015)","journal-title":"Automatica"},{"key":"14_CR2","volume-title":"Synchronization and Linearity: An Algebra for Discrete Event Systems","author":"F Baccelli","year":"1992","unstructured":"Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, New York (1992)"},{"key":"14_CR3","doi-asserted-by":"publisher","unstructured":"Butkovi\u010d, P.: Max-linear Systems: Theory and Algorithms. Springer, London (2010). https:\/\/doi.org\/10.1007\/978-1-84996-299-5","DOI":"10.1007\/978-1-84996-299-5"},{"key":"14_CR4","unstructured":"Cohen, G., Gaubert, S., Quadrat, J.P.: Asymptotic throughput of continuous Petri nets. In: Proceedings of the IEEE-CDC, New Orleans (1995)"},{"issue":"3","key":"14_CR5","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/TAC.1985.1103925","volume":"30","author":"G Cohen","year":"1985","unstructured":"Cohen, G., Dubois, D., Quadrat, J.P., Viot, M.: A linear-system-theoretic view of discrete-event processes and its use for performance evaluation in manufacturing. IEEE Trans. Autom. Control 30(3), 210\u2013220 (1985)","journal-title":"IEEE Trans. Autom. Control"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, G., Moller, P., Quadrat, J.P., Viot, M.: Linear system theory for discrete event systems. In: Proceedings of the 23rd IEEE Conference on Decision and Control, pp. 539\u2013544 (1984)","DOI":"10.1109\/CDC.1984.272058"},{"key":"14_CR7","doi-asserted-by":"publisher","unstructured":"Cuninghame-Green, R.: Minimax Algebra. Springer, Heidelberg (1979). https:\/\/doi.org\/10.1007\/978-3-642-48708-8","DOI":"10.1007\/978-3-642-48708-8"},{"issue":"1","key":"14_CR8","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10626-019-00294-w","volume":"30","author":"B De Schutter","year":"2019","unstructured":"De Schutter, B., van den Boom, T., Xu, J., Farahani, S.S.: Analysis and control of max-plus linear discrete-event systems: an introduction. Discrete Event Dyn. Syst. 30(1), 25\u201354 (2019). https:\/\/doi.org\/10.1007\/s10626-019-00294-w","journal-title":"Discrete Event Dyn. Syst."},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Esmaeil Zadeh Soudjani, S., Adzkiya, D., Abate, A.: Formal verification of stochastic max-plus-linear systems. IEEE Trans. Autom. Contr. 61(10), 2861\u20132876 (2016)","DOI":"10.1109\/TAC.2015.2502781"},{"key":"14_CR10","unstructured":"Garcia, T., Cury, J.E.E., Kraus, W., Demongodin, I.: Traffic light coordination of urban corridors using max-plus algebra, Buenos Aires-Argentina, pp. 103\u2013108 (2007)"},{"key":"14_CR11","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/j.automatica.2019.05.026","volume":"107","author":"VM Gon\u00e7alves","year":"2020","unstructured":"Gon\u00e7alves, V.M., Maia, C.A., Hardouin, L.: On max-plus linear dynamical system theory: the observation problem. Automatica 107, 103\u2013111 (2020)","journal-title":"Automatica"},{"key":"14_CR12","volume-title":"Graphs and Algorithms","author":"M Gondran","year":"1984","unstructured":"Gondran, M., Minoux, M.: Graphs and Algorithms. Wiley, New York (1984)"},{"issue":"1","key":"14_CR13","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/BF01386304","volume":"4","author":"F Harary","year":"1962","unstructured":"Harary, F.: A graph theoretic approach to matrix inversion by partitioning. Numer. Math. 4(1), 128\u2013135 (1962)","journal-title":"Numer. Math."},{"issue":"5","key":"14_CR14","doi-asserted-by":"publisher","first-page":"2153","DOI":"10.1109\/TAC.2016.2604562","volume":"62","author":"L Hardouin","year":"2017","unstructured":"Hardouin, L., Shang, Y., Maia, C.A., Cottenceau, B.: Observer-based controllers for max-plus linear systems. IEEE Trans. Autom. Control 62(5), 2153\u20132165 (2017)","journal-title":"IEEE Trans. Autom. Control"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Heidergott, B., Olsder, G.J., van der Woude, J.: Max-Plus at Work: Modeling and Analysis of Synchronized Systems. Princeton University Press, New Jersey (2006)","DOI":"10.1515\/9781400865239"},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1109\/TITS.2013.2283034","volume":"15","author":"Y Huang","year":"2014","unstructured":"Huang, Y., Weng, Y., 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)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"14_CR17","unstructured":"Peterson, J.L.: Petri Nets Theory and the Modeling of Systems, vol. 25 (2010)"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10626-014-0205-7","volume":"26","author":"B Kersbergen","year":"2016","unstructured":"Kersbergen, B., Rudan, J., van den Boom, T., De Schutter, B.: Towards railway traffic management using switching Max-plus-linear systems. Discrete Event Dyn. Syst. 26(2), 183\u2013223 (2016). https:\/\/doi.org\/10.1007\/s10626-014-0205-7","journal-title":"Discrete Event Dyn. Syst."},{"key":"14_CR19","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.automatica.2019.03.003","volume":"105","author":"A Lai","year":"2019","unstructured":"Lai, A., Lahaye, S., Giua, A.: State estimation of max-plus automata with unobservable events. Automatica 105, 36\u201342 (2019)","journal-title":"Automatica"},{"issue":"2","key":"14_CR20","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s10626-014-0206-6","volume":"26","author":"GAD Lopes","year":"2015","unstructured":"Lopes, G.A.D., Kersbergen, B., De Schutter, B., van den Boom, T., Babu\u0161ka, R.: Synchronization of a class of cyclic discrete-event systems describing legged locomotion. Discrete Event Dyn. Syst. 26(2), 225\u2013261 (2015). https:\/\/doi.org\/10.1007\/s10626-014-0206-6","journal-title":"Discrete Event Dyn. Syst."},{"key":"14_CR21","doi-asserted-by":"publisher","first-page":"3117","DOI":"10.1109\/TITS.2019.2925824","volume":"21","author":"J Luo","year":"2019","unstructured":"Luo, J., Huang, Y., Weng, Y.: Design of variable traffic light control systems for preventing two-way grid network traffic jams using timed Petri nets. IEEE Trans. Intell. Transp. Syst. 21, 3117\u20133127 (2019)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Maia, C.A., Hardouin, L., Cury, J.E.R.: Some results on the feedback control of Max-plus linear systems under state constrains. In: 52nd IEEE Conference on Decision and Control, pp. 6992\u20136997 (2013)","DOI":"10.1109\/CDC.2013.6760997"},{"issue":"1","key":"14_CR23","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/TITS.2016.2625324","volume":"19","author":"L Qi","year":"2018","unstructured":"Qi, L., Zhou, M., Luan, W.: A two-level traffic light control strategy for preventing incident-based urban traffic congestion. IEEE Trans. Intell. Transp. Syst. 19(1), 13\u201324 (2018)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"14_CR24","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/j.automatica.2015.10.030","volume":"63","author":"Y Shang","year":"2016","unstructured":"Shang, Y., Hardouin, L., Lhommeau, M., Maia, C.A.: An integrated control strategy to solve the disturbance decoupling problem for Max-plus linear systems with applications to a high throughput screening system. Automatica 63, 338\u2013348 (2016)","journal-title":"Automatica"},{"issue":"4","key":"14_CR25","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1007\/s10626-020-00318-w","volume":"30","author":"TJJ van den Boom","year":"2020","unstructured":"van den Boom, T.J.J., Muijsenberg, M., De Schutter, B.: Model predictive scheduling of semi-cyclic discrete-event systems using switching max-plus linear models and dynamic graphs. Discrete Event Dyn. Syst. 30(4), 635\u2013669 (2020). https:\/\/doi.org\/10.1007\/s10626-020-00318-w","journal-title":"Discrete Event Dyn. Syst."}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Performance Evaluation Methodologies and Tools"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-92511-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,10]],"date-time":"2021-12-10T19:15:54Z","timestamp":1639163754000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-92511-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030925109","9783030925116"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-92511-6_14","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"type":"print","value":"1867-8211"},{"type":"electronic","value":"1867-822X"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"8 December 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"VALUETOOLS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"EAI International Conference on Performance Evaluation Methodologies and Tools","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"valuetools2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Confy +","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"32","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":"16","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":"3","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":"50% - 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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}