An approach was proposed for the modeling of a signalized trafifc intersection using Timed Hybrid Petri Nets (THPNs) to al eviate trafifc congestions and improve driving safety. The proposed model could comprehensively capture and simulate vehicle mobility when crossing a four-way signalized intersection at a speciifc phase plan. Continuous nodes (places and transitions) were used to represent vehicles lfow and queues at intersection while discrete nodes were used to represent discrete events such as phase change and enabling/disabling vehicle movements. Using timed transition, time delays between different time instances of the intersection were also considered to make the model suitable for real-world analysis and simulation. Simulation results of the proposed model were added and analyzed. The method can be useful for studying trafifc lfow patterns at intersections and has the potential to improve trafifc environment.%为了减少交通拥堵，提高行车安全，本文提出了一种基于时延混合型Petri网(THPNs)的有交通信号灯的交叉路口建模方法。所建立的模型，可以全面模拟车辆在一定相位下通过带有交通信号灯的四车道交叉路口时的机动性。模型的连续节点被用于表示交通流和交通路口的等待车辆队列，模型的离散节点用来表示离散事件。模型考虑了交叉路口不同交通信号相位差异造成的时间延迟，使得模型适用于实际路况的分析和仿真。模型的仿真结果显示该建模方法对研究交叉路口处的交通流模式具有重要作用，对改善交通环境具有潜在价值。
展开▼
