{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T22:33:49Z","timestamp":1729636429193,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,4]]},"DOI":"10.1109\/icnsc.2014.6819614","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T18:33:37Z","timestamp":1401474817000},"page":"138-143","source":"Crossref","is-referenced-by-count":2,"title":["Modelling of traffic safety control systems using timed Petri nets"],"prefix":"10.1109","author":[{"given":"Yi-Shun","family":"Weng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yi-Sheng","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chia-Che","family":"Ho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/41.334574"},{"year":"0","key":"16"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248688"},{"key":"14","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 Engineering of Complex Computer Systems Las Vegas U S"},{"key":"11","first-page":"299","article-title":"Rule-based refinement of petri nets for modeling train control systems","author":"padberg","year":"2000","journal-title":"IFAC Conference on Control Systems Design Elsevier Science"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/MAES.2007.4301044"},{"journal-title":"Modeling and Control of Discrete Event Dynamic Systems","year":"2007","author":"hruz","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/CESA.2006.313490"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/MPRV.2006.77"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2006.285513"},{"key":"7","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":"Journal of Information Science and Engineering"},{"key":"6","first-page":"1","article-title":"Modeling and analysis of air traffic control systems using hierarchical timed coloured petri nets","author":"huang","year":"2009","journal-title":"Transactions of the Institute of Measurement &Control"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta:20070368"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2010.2076390"},{"key":"9","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":"Journal of Computers Communications &Control"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1080\/02533839.2009.9671485"}],"event":{"name":"2014 IEEE 11th International Conference on Networking, Sensing and Control (ICNSC)","start":{"date-parts":[[2014,4,7]]},"location":"Miami, FL, USA","end":{"date-parts":[[2014,4,9]]}},"container-title":["Proceedings of the 11th IEEE International Conference on Networking, Sensing and Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6812386\/6819588\/06819614.pdf?arnumber=6819614","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,11]],"date-time":"2019-08-11T04:41:10Z","timestamp":1565498470000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6819614\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icnsc.2014.6819614","relation":{},"subject":[],"published":{"date-parts":[[2014,4]]}}}