随着我国城市化进程的不断推进,交通系统越来越复杂,给人们的日常生活带来了极大的方便,然而各种各样的交通问题也随之而来。在现有路况条件下,建立一个安全、可靠的城市交通控制系统模型对缓解当前的交通问题具有十分重要的意义。使用Petri网对城市交通系统的建模起源很早,然而随着交通系统结构的复杂化、性质的多重化,原型Petri网在系统建模方面逐渐暴露出各种不足,如表达能力差,所建模型非常复杂,给后续的分析验证工作带来很大的难度。近年来,国内外学者在原型Petri网的基础上引入高级Petri网,它可以实现网系统的折叠,增强Petri网的描述能力。然而,高级Petri网的表达、模拟能力并没有提高,对一些具有优先权等特殊性质的系统仍然无法建模。因此,在高级Petri网的基础上继续对其进行扩展显得尤为重要。本文的主要研究内容如下:1、在原型Petri网的基础上提出了一种新型扩展Petri网,即带抑止弧和使能弧的着色Petri网。提出这种新型Petri网,一方面丰富了Petri网的理论知识体系,另一方面强化了Petri网的实践建模能力。在实际建模过程中,这种新型的Petri网不但具有很强的模拟描述能力,可以使所建模型更加简单、清晰,而且还可以对系统的优先特权等一些性质进行描述。2、将这种新型的Petri网应用到城市交通信号控制系统中,对城市交叉路口的动态交通流进行建模,反映十字路口交通流的动态变化过程,同时实现对绿冲突现象的检测和调节,保证路口的安全通行,形成一个安全性高、可靠性强的单路口城市交通信号控制系统。3、基于逻辑等价,采用硬件描述语言Verilog对所建立的带抑止弧和使能弧的增广着色Petri网交通控制模型进行仿真,结果符合预期设想,能可靠的检测、调节绿冲突等安全隐患且能反应系统整体运行状态。