中文摘要：

首先建立城市交通网络的连续Petri网模型，用一组常微分方程来描述其语义，每个常微分方程描述交通流量的变化，交通流量可由介于0和1之间的数值来度量，此度量值显示交通堵塞的程度。针对不同的交通流速分析了各路段交通流量状况，适当调整信号灯的点火速率可以缓解城市交通阻塞问题。最后着重分析了某路段发生事故时对其它路段交通流量的影响。该方法的好处在于在做系统分析时，可避开状态爆炸问题。

英文摘要：

Based on Continuous Petri Net of urban traffic network, the paper describes semantic using a set of ordinary differential equations. Each equation describes the traffic flux change and a number be- tween 0 and 1, indicating how much the traffic can be blocked while the system is in execution, measuring the traffic flux. Then the paper aims at different traffic rates, analyzes each spur track flux. , adjusting the fire rates of signal lamps can relax urban traffic jam. Lastly the paper analyze the traffic flux of other roads when the accident happens on one road. The advantage of our method is that we can avoid state explosion program while doing system analysis.