{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:51:25Z","timestamp":1762271485620},"reference-count":34,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2010,12,1]],"date-time":"2010-12-01T00:00:00Z","timestamp":1291161600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1109\/tits.2010.2076390","type":"journal-article","created":{"date-parts":[[2010,10,12]],"date-time":"2010-10-12T14:59:14Z","timestamp":1286895554000},"page":"968-977","source":"Crossref","is-referenced-by-count":50,"title":["Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems"],"prefix":"10.1109","volume":"11","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":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2007.897333"},{"key":"ref32","year":"0","journal-title":"HPSim"},{"key":"ref31","year":"0","journal-title":"U S Department of Transportation Federal Highway Administration Manual on Uniform Traffic Control Devices"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCC.2009.2032661"},{"key":"ref10","first-page":"875","article-title":"modeling and analysis of urban traffic lights control systems using timed cp-nets","volume":"24","author":"huang","year":"2008","journal-title":"J Inf Sci Eng"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070368"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1177\/0142331208095623"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1080\/02533839.2009.9671485"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2008.2006738"},{"key":"ref15","author":"hruz","year":"2007","journal-title":"Modeling and Control of Discrete Event Dynamic Systems"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WPDRTS.1994.365642"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/5326.760570"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"252","DOI":"10.15837\/ijccc.2007.3.2358","article-title":"extraction of critical scenarios in a railway level crossing control system","volume":"2","author":"medjoudj","year":"2007","journal-title":"J Comput Commun Control"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/3-540-18086-9_24","author":"marsan","year":"1987","journal-title":"Advances in Petri Nets 1987"},{"key":"ref28","first-page":"77","article-title":"performance analysis of traffic networks based on stochastic timed petri net models","author":"wang","year":"1999","journal-title":"Proc IEEE Eng Complex Comput Syst"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CESA.2006.313490"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2008.112"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2004.837821"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2008.101"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2001.948835"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2009.2026310"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1244683"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1109\/MPRV.2006.77","article-title":"Intelligent transportation systems","volume":"5","author":"beresford","year":"2006","journal-title":"Pervasive Comput"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/66.661288"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl032"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/32.29483"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref21","first-page":"2298","article-title":"petri net toolbox in control engineering education","author":"matcovschi","year":"2006","journal-title":"Proc IEEE Conf Comput Aided Control Syst Design"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2007.4301044"},{"key":"ref23","first-page":"299","article-title":"rule-based refinement of petri nets for modeling train control systems","author":"padberg","year":"2000","journal-title":"Proc IFAC Conf Control Syst Design"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2006.45"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248688"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6979\/5635426\/05598529.pdf?arnumber=5598529","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T00:46:17Z","timestamp":1633913177000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5598529\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,12]]},"references-count":34,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tits.2010.2076390","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,12]]}}}