Matches in SemOpenAlex for { <https://semopenalex.org/work/W4210272912> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4210272912 abstract "Intersection which is one of the most important parts of the urban road network, is the main place where traffic accidents and traffic jams always happen. At the same time, it is the longest delay time place in special vehicle accidents. Therefore, modeling the highly efficient special vehicle priority traffic signal light control system to ensure smooth and safe traffic, is a very important thing needed to do. This paper proposes a new modeling method for the traffic signal light control system based on TPZN which integrates time Petri net and Z. Firstly, the system model is established according to the flowchart of priority access policy. Secondly, the behavior of the system is modeled by considering the dependence between the states with external rules. Finally, a case is given to illustrate and analyze the method. The results show that this formal verification method can accurately simulate and predict the behavior of the system." @default.
- W4210272912 created "2022-02-08" @default.
- W4210272912 creator A5053523073 @default.
- W4210272912 creator A5068967562 @default.
- W4210272912 creator A5078458401 @default.
- W4210272912 date "2021-12-17" @default.
- W4210272912 modified "2023-09-27" @default.
- W4210272912 title "Formal verification of special vehicle priority traffic signal light control system based on TPN and Z" @default.
- W4210272912 doi "https://doi.org/10.1109/safeprocess52771.2021.9693591" @default.
- W4210272912 hasPublicationYear "2021" @default.
- W4210272912 type Work @default.
- W4210272912 citedByCount "0" @default.
- W4210272912 crossrefType "proceedings-article" @default.
- W4210272912 hasAuthorship W4210272912A5053523073 @default.
- W4210272912 hasAuthorship W4210272912A5068967562 @default.
- W4210272912 hasAuthorship W4210272912A5078458401 @default.
- W4210272912 hasConcept C115903868 @default.
- W4210272912 hasConcept C119599485 @default.
- W4210272912 hasConcept C120314980 @default.
- W4210272912 hasConcept C127413603 @default.
- W4210272912 hasConcept C146799927 @default.
- W4210272912 hasConcept C154945302 @default.
- W4210272912 hasConcept C17500928 @default.
- W4210272912 hasConcept C199360897 @default.
- W4210272912 hasConcept C22212356 @default.
- W4210272912 hasConcept C2775924081 @default.
- W4210272912 hasConcept C2779843651 @default.
- W4210272912 hasConcept C2985695025 @default.
- W4210272912 hasConcept C2987419075 @default.
- W4210272912 hasConcept C38677869 @default.
- W4210272912 hasConcept C41008148 @default.
- W4210272912 hasConcept C44154836 @default.
- W4210272912 hasConcept C64543145 @default.
- W4210272912 hasConcept C72041958 @default.
- W4210272912 hasConcept C75606506 @default.
- W4210272912 hasConcept C79403827 @default.
- W4210272912 hasConceptScore W4210272912C115903868 @default.
- W4210272912 hasConceptScore W4210272912C119599485 @default.
- W4210272912 hasConceptScore W4210272912C120314980 @default.
- W4210272912 hasConceptScore W4210272912C127413603 @default.
- W4210272912 hasConceptScore W4210272912C146799927 @default.
- W4210272912 hasConceptScore W4210272912C154945302 @default.
- W4210272912 hasConceptScore W4210272912C17500928 @default.
- W4210272912 hasConceptScore W4210272912C199360897 @default.
- W4210272912 hasConceptScore W4210272912C22212356 @default.
- W4210272912 hasConceptScore W4210272912C2775924081 @default.
- W4210272912 hasConceptScore W4210272912C2779843651 @default.
- W4210272912 hasConceptScore W4210272912C2985695025 @default.
- W4210272912 hasConceptScore W4210272912C2987419075 @default.
- W4210272912 hasConceptScore W4210272912C38677869 @default.
- W4210272912 hasConceptScore W4210272912C41008148 @default.
- W4210272912 hasConceptScore W4210272912C44154836 @default.
- W4210272912 hasConceptScore W4210272912C64543145 @default.
- W4210272912 hasConceptScore W4210272912C72041958 @default.
- W4210272912 hasConceptScore W4210272912C75606506 @default.
- W4210272912 hasConceptScore W4210272912C79403827 @default.
- W4210272912 hasFunder F4320324805 @default.
- W4210272912 hasLocation W42102729121 @default.
- W4210272912 hasOpenAccess W4210272912 @default.
- W4210272912 hasPrimaryLocation W42102729121 @default.
- W4210272912 hasRelatedWork W2006393211 @default.
- W4210272912 hasRelatedWork W2018483190 @default.
- W4210272912 hasRelatedWork W2132249504 @default.
- W4210272912 hasRelatedWork W2353721067 @default.
- W4210272912 hasRelatedWork W2379438228 @default.
- W4210272912 hasRelatedWork W2388384018 @default.
- W4210272912 hasRelatedWork W2806221860 @default.
- W4210272912 hasRelatedWork W2885172322 @default.
- W4210272912 hasRelatedWork W4210272912 @default.
- W4210272912 hasRelatedWork W4292070394 @default.
- W4210272912 isParatext "false" @default.
- W4210272912 isRetracted "false" @default.
- W4210272912 workType "article" @default.