随着社会生产力的不断发展和人类社会的不断进步,各国特别是像我国这样的发展中国家城市化水平越来越高,城市交通问题越来越严重,严重的堵车现象是人们有目共睹和亲身体验的。究其原因,主要有:或是现行路网的通行能力不够,或是现行路网的道路定向不合理,或是由于对交通流的管理控制不力。解决城市交通问题的根本途径有两条:一是加快交通设施建设;二是加强交通管理。然而城市道路的修建或扩建远远跟不上车辆的急剧增长,因而加强对现有道路的合理利用以及对交通信号灯的有效控制和管理成为改善交通状况的重要途径。因此,研究交通控制系统具有重要的理论意义和现实意义。论文集中研究了城市交通信号控制的建模问题,主要工作如下:(1)主要针对协调和检测离散控制系统中的交通信号灯问题做出了形式化描述,在设计和分析时结合Petri网理论对问题进行建模和分析。结合一个具体交通信号灯控制系统给出了形式化描述和分析结论。(2)利用Petri网建立了交通信号灯的时延Petfi网模型,用C语言实现了Petri网的关联矩阵,利用已有的分析工具进行了模型分析,最后给出了基于Petri网的交通信号配时优化设计程序的流程。