{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:46:16Z","timestamp":1771026376868,"version":"3.50.1"},"reference-count":48,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2015,8,1]],"date-time":"2015-08-01T00:00:00Z","timestamp":1438387200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001868","name":"National Science Council of Taiwan","doi-asserted-by":"publisher","award":["NSC 102-2221-E-197-022-MY2"],"award-info":[{"award-number":["NSC 102-2221-E-197-022-MY2"]}],"id":[{"id":"10.13039\/501100001868","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2015,8]]},"DOI":"10.1109\/tits.2015.2395419","type":"journal-article","created":{"date-parts":[[2015,3,13]],"date-time":"2015-03-13T14:58:40Z","timestamp":1426258720000},"page":"2113-2120","source":"Crossref","is-referenced-by-count":75,"title":["Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets"],"prefix":"10.1109","volume":"16","author":[{"given":"Yi-Sheng","family":"Huang","sequence":"first","affiliation":[]},{"given":"Yi-Shun","family":"Weng","sequence":"additional","affiliation":[]},{"given":"MengChu","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2241762"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2285574"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2258907"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2272702"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2013.2278378"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"1182","DOI":"10.1109\/TSMCA.2012.2230440","article-title":"A petri-net-based scheduling strategy for dual-arm cluster tools with wafer revisiting","volume":"43","author":"wu","year":"2013","journal-title":"IEEE Trans Syst Man Cybern A Syst Humans"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2327051"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2318679"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2014.2312192"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2013.2253552"},{"key":"ref10","first-page":"1118","article-title":"Safety requirements and p-time Petri nets: A level crossing case study","author":"dutilleul","year":"0","journal-title":"Proc IEEE IMACS"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2014.2311757"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2076390"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1080\/02533839.2009.9671485"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070368"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2013.186"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2013.2283034"},{"key":"ref16","first-page":"875","article-title":"Modeling and analysis of urban traffic light control systems using timed cp-nets","volume":"24","author":"huang","year":"2008","journal-title":"J Inf Sci Eng"},{"key":"ref17","article-title":"Traffic adaptive offset-based preemption for emergency vehicles","author":"kamalanathsharma","year":"2010"},{"key":"ref18","author":"wu","year":"2010","journal-title":"System Modeling and Control with Resource-Oriented Petri Nets"},{"key":"ref19","author":"zhou","year":"1998","journal-title":"Modeling Simulation and Control of Flexible Manufacturing Systems A Petri Net Approach"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2406336.2406340"},{"key":"ref4","author":"koonce","year":"2008","journal-title":"Signal Timing Manual"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2187890"},{"key":"ref3","article-title":"Traffic signal preemption for emergency vehicles","year":"2006"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ISWPC.2009.4800550"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2012.2222945"},{"key":"ref5","first-page":"801","article-title":"BEVOR: An NTCIP-based interoperable framework for emergency vehicle preemption system using web service and STMF","volume":"26","author":"chen","year":"2010","journal-title":"J Inf Sci Eng"},{"key":"ref8","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2010.5625210"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2008.112"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248688"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2008.101"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2238923"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl032"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2204741"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2248358"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1109\/TSMCC.2009.2032661","article-title":"Hybrid Petri net modeling and schedulability analysis of high fusion point oil transportation under tank grouping strategy for crude oil operations in refinery","volume":"40","author":"wu","year":"2010","journal-title":"IEEE Trans Syst Man Cybern C Appl Rev"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2012.2226878"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.183"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2342664"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1177\/0142331208095622","article-title":"Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes","volume":"33","author":"wu","year":"2011","journal-title":"Trans Inst Meas Control"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.2013.2277696"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046736"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2010.2046412"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2012.2199338"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2012.2201714"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2011.2178023"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/7174612\/07060665.pdf?arnumber=7060665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T11:47:36Z","timestamp":1641988056000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7060665\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8]]},"references-count":48,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tits.2015.2395419","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,8]]}}}