{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:15:07Z","timestamp":1725491707280},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540748267"},{"type":"electronic","value":"9783540748274"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74827-4_89","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T19:35:16Z","timestamp":1189539316000},"page":"704-711","source":"Crossref","is-referenced-by-count":1,"title":["Design of a Supervisor for Traffic Light Systems"],"prefix":"10.1007","author":[{"given":"Ta-Hsiang","family":"Chung","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Sheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"89_CR1","first-page":"1237","volume-title":"Proc. 40th IEEE Int. Conf. Decision and Control","author":"J. Lei","year":"2001","unstructured":"Lei, J., Ozguner, U.: Decentralized Hybrid intersection control. In: Proc. 40th IEEE Int. Conf. Decision and Control, vol.\u00a02, pp. 1237\u20131242. IEEE Computer Society Press, Los Alamitos (2001)"},{"key":"89_CR2","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\u00a077, 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"89_CR3","volume-title":"Petri net theory and the modeling of systems","author":"J.L. Peterson","year":"1981","unstructured":"Peterson, J.L.: Petri net theory and the modeling of systems. Prentice-Hall, Englewood Cliffs (1981)"},{"key":"89_CR4","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1109\/ICSMC.1993.384868","volume":"2","author":"H. Wang","year":"1993","unstructured":"Wang, H., List, G.F., DiCesare, F.: Modeling and evaluation of traffic signal control using timed Petri nets. Proc. Systems, Man and Cybernetics\u00a02, 180\u2013185 (1993)","journal-title":"Proc. Systems, Man and Cybernetics"},{"key":"89_CR5","first-page":"1087","volume":"2","author":"L. Li","year":"2003","unstructured":"Li, L., Tang, N., Mu, X., Shi, F.: Implementation of Traffic Lights Control Based on Petri Nets. Proc. IEEE Intelligent Transportation Systems\u00a02, 1087\u20131090 (2003)","journal-title":"Proc. IEEE Intelligent Transportation Systems"},{"key":"89_CR6","doi-asserted-by":"crossref","unstructured":"Dotoli, M., Fanti, M.P., Lacobellis, G.: Validation of an Urban Traffic Network Model using Colored Timed Petri nets. In: IEEE Int. Conf. on. Systems, Man and Cybernetics, vol. 2, pp. 1347\u20131352 (2005)","DOI":"10.1109\/ICSMC.2005.1571334"},{"key":"89_CR7","doi-asserted-by":"publisher","first-page":"634","DOI":"10.1093\/comjnl\/bxl032","volume":"49","author":"Y.S. Huang","year":"2006","unstructured":"Huang, Y.S.: Design of Traffic Light Control System Using Statecharts. Computer Journal\u00a049, 634\u2013649 (2006)","journal-title":"Computer Journal"},{"key":"89_CR8","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"1995","unstructured":"Jensen, K.: Coloured Petri Nets, vol.\u00a01. Springer, New York (1995)"},{"key":"89_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"1997","unstructured":"Jensen, K.: Coloured Petri Nets, vol.\u00a02. Springer, New York (1997)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74827-4_89","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T08:38:14Z","timestamp":1550911094000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74827-4_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540748267","9783540748274"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74827-4_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}