{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:15:29Z","timestamp":1740100529371,"version":"3.37.3"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T00:00:00Z","timestamp":1639699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T00:00:00Z","timestamp":1639699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,17]],"date-time":"2021-12-17T00:00:00Z","timestamp":1639699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100007957","name":"Chongqing Municipal Education Commission","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007957","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,12,17]]},"DOI":"10.1109\/safeprocess52771.2021.9693591","type":"proceedings-article","created":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T20:50:05Z","timestamp":1643748605000},"page":"1-5","source":"Crossref","is-referenced-by-count":1,"title":["Formal verification of special vehicle priority traffic signal light control system based on TPN and Z"],"prefix":"10.1109","author":[{"given":"Liyuan","family":"Huang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yang","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darong","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1155\/2020\/6618168"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"journal-title":"Research on Formal Method of Networked Software Requirement Verification [D]","year":"2013","author":"yang","key":"ref12"},{"key":"ref13","first-page":"3329","article-title":"Dynamic Evolution of Requirements Process Model Deployed on Networked Environment with PZN","volume":"9","author":"liu","year":"2013","journal-title":"Journal of Computational Information Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2976124"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICRTCCM.2017.59"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-64021-1_8"},{"journal-title":"Research on Timing of Ambulance Priority Traffic Signal Light [D]","year":"2010","author":"chao","key":"ref4"},{"key":"ref3","first-page":"24","article-title":"More than 60% of Beijing citizens are often stuck in traffic on their way to work [J]","volume":"10","author":"peiying","year":"2003","journal-title":"Beijing Statistics"},{"key":"ref6","first-page":"67","article-title":"Research on Optimal Path Algorithm and Correction of Geographical Information System for Police of Urban Fire Tructions [J]","volume":"8","author":"zhanhua","year":"2013","journal-title":"Fire Technique and Products Information"},{"key":"ref5","first-page":"261","article-title":"Traffic Emergency Scheduling Algorithm and Modeling Based on Hierarchical Color Petri Nets [J]","volume":"52","author":"hongru","year":"2016","journal-title":"Computer Engineering and Applications"},{"key":"ref8","first-page":"1","article-title":"A Novel Priority-Based Ambulanceto-Traffic Light Communication for Delay Reduction in Emergency Rescue Operations","author":"suthaputchakun","year":"2019","journal-title":"2019 International Conference on Information and Communication Technologies for Disaster Management (ICT-DM)"},{"journal-title":"Research on Emergency Traffic Command Scheme of Internet of Vehicles Based on Mesh [D]","year":"2015","author":"wei","key":"ref7"},{"journal-title":"Research on Some Problems of Intelligent Transportation System [D]","year":"2005","author":"engui","key":"ref2"},{"journal-title":"Research on Traffic Light Control Model Based on Petri Nets [D]","year":"2015","author":"yueming","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICEMIS.2016.7745309"}],"event":{"name":"2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)","start":{"date-parts":[[2021,12,17]]},"location":"Chengdu, China","end":{"date-parts":[[2021,12,18]]}},"container-title":["2021 CAA Symposium on Fault Detection, Supervision, and Safety for Technical Processes (SAFEPROCESS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9693491\/9693537\/09693591.pdf?arnumber=9693591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:58:56Z","timestamp":1652201936000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9693591\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12,17]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/safeprocess52771.2021.9693591","relation":{},"subject":[],"published":{"date-parts":[[2021,12,17]]}}}