期刊名称：International Journal of Signal Processing, Image Processing and Pattern Recognition
印刷版ISSN：2005-4254
出版年度：2015
卷号：8
期号：8
页码：321-332
DOI：10.14257/ijsip.2015.8.8.33
出版社：SERSC
摘要：The reliability of the traffic signal in the intersection is extremely important to the safe and orderly urban traffic. In this paper, basing on the Classics Petri Nets, we put forward a kind of Extended Colored Petri Nets with the inhibitory and enable arc, so we built the traffic control model based on the improved Petri Nets to ensure the safe and orderly traffic; the model can reflect the dynamic process of intersection and realize the detection and processing of "green conflict". From the angle of logical equivalence, we use digital logic circuit to simulate the traffic model which is built based on the Extended Colored Petri Nets with the inhibitory and enable arc. The simulation results show that the model based on improved Petri Nets can effectively detect and adjust "green conflict" together with other potential safety risks; also verify the validity of the Extended Colored Petri Nets and the traffic control model
关键词：Reliability of traffic signal; Extended Colored Petri Nets; green conflict; ; modeling and verifying
