1、隨著我國城市化進(jìn)程的不斷推進(jìn)，交通系統(tǒng)越來越復(fù)雜，給人們的日常生活帶來了極大的方便，然而各種各樣的交通問題也隨之而來。在現(xiàn)有路況條件下，建立一個(gè)安全、可靠的城市交通控制系統(tǒng)模型對(duì)緩解當(dāng)前的交通問題具有十分重要的意義。
　　使用Petri網(wǎng)對(duì)城市交通系統(tǒng)的建模起源很早，然而隨著交通系統(tǒng)結(jié)構(gòu)的復(fù)雜化、性質(zhì)的多重化，原型Petri網(wǎng)在系統(tǒng)建模方面逐漸暴露出各種不足，如表達(dá)能力差，所建模型非常復(fù)雜，給后續(xù)的分析驗(yàn)證工作帶來很大的難度。近年

2、來，國內(nèi)外學(xué)者在原型Petri網(wǎng)的基礎(chǔ)上引入高級(jí)Petri網(wǎng)，它可以實(shí)現(xiàn)網(wǎng)系統(tǒng)的折疊，增強(qiáng)Petri網(wǎng)的描述能力。然而，高級(jí)Petri網(wǎng)的表達(dá)、模擬能力并沒有提高，對(duì)一些具有優(yōu)先權(quán)等特殊性質(zhì)的系統(tǒng)仍然無法建模。因此，在高級(jí)Petri網(wǎng)的基礎(chǔ)上繼續(xù)對(duì)其進(jìn)行擴(kuò)展顯得尤為重要。
　　本文的主要研究內(nèi)容如下：
　　1、在原型Petri網(wǎng)的基礎(chǔ)上提出了一種新型擴(kuò)展Petri網(wǎng)，即帶抑止弧和使能弧的著色Petri網(wǎng)。提出這種新型Petr

3、i網(wǎng)，一方面豐富了Petri網(wǎng)的理論知識(shí)體系，另一方面強(qiáng)化了Petri網(wǎng)的實(shí)踐建模能力。在實(shí)際建模過程中，這種新型的Petri網(wǎng)不但具有很強(qiáng)的模擬描述能力，可以使所建模型更加簡單、清晰，而且還可以對(duì)系統(tǒng)的優(yōu)先特權(quán)等一些性質(zhì)進(jìn)行描述。
　　2、將這種新型的 Petri網(wǎng)應(yīng)用到城市交通信號(hào)控制系統(tǒng)中，對(duì)城市交叉路口的動(dòng)態(tài)交通流進(jìn)行建模，反映十字路口交通流的動(dòng)態(tài)變化過程，同時(shí)實(shí)現(xiàn)對(duì)綠沖突現(xiàn)象的檢測(cè)和調(diào)節(jié)，保證路口的安全通行，形成一個(gè)安全