離散事件系統(tǒng)的建模方法

1、工業(yè)工程系工業(yè)工程系 蘇平蘇平1離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法 工業(yè)工程系工業(yè)工程系 蘇平蘇平21 系統(tǒng)建模方法概述系統(tǒng)建模方法概述離散事件系統(tǒng)模型離散事件系統(tǒng)模型n模型是對(duì)實(shí)際系統(tǒng)本質(zhì)的抽象與簡(jiǎn)化，能描述系模型是對(duì)實(shí)際系統(tǒng)本質(zhì)的抽象與簡(jiǎn)化，能描述系統(tǒng)結(jié)構(gòu)或行為過(guò)程。統(tǒng)結(jié)構(gòu)或行為過(guò)程。工業(yè)工程系工業(yè)工程系 蘇平蘇平31 系統(tǒng)建模方法概述系統(tǒng)建模方法概述離散事件系統(tǒng)建模方法離散事件系統(tǒng)建模方法n實(shí)體流圖法實(shí)體流圖法l用流程圖的方法描述事件、狀態(tài)變化及實(shí)體間相互作用流程圖的方法描述事件、狀態(tài)變化及實(shí)體間相互作用的邏輯關(guān)系。用的邏輯關(guān)系。n活動(dòng)周期圖法活動(dòng)周期圖法l以圖形直觀地顯示系統(tǒng)

2、狀態(tài)及其變化。以圖形直觀地顯示系統(tǒng)狀態(tài)及其變化。nPetri網(wǎng)法網(wǎng)法l是一種系統(tǒng)的數(shù)學(xué)和圖形描述與分析工具。是一種系統(tǒng)的數(shù)學(xué)和圖形描述與分析工具。工業(yè)工程系工業(yè)工程系 蘇平蘇平42 實(shí)體流圖法實(shí)體流圖法實(shí)體流圖實(shí)體流圖(Entity Flow Chart, EFC)法的建模思路法的建模思路l辨識(shí)系統(tǒng)的實(shí)體及屬性；辨識(shí)系統(tǒng)的實(shí)體及屬性；l分析實(shí)體的狀態(tài)和運(yùn)動(dòng)，隊(duì)列的狀態(tài)；分析實(shí)體的狀態(tài)和運(yùn)動(dòng)，隊(duì)列的狀態(tài)；l確定系統(tǒng)事件，合并條件事件；確定系統(tǒng)事件，合并條件事件；l分析事件發(fā)生時(shí)，實(shí)體狀態(tài)的變化；分析事件發(fā)生時(shí)，實(shí)體狀態(tài)的變化；l在一定的服務(wù)流程下，分析與隊(duì)列有關(guān)的特殊操作；在一定的服務(wù)流程下，分

3、析與隊(duì)列有關(guān)的特殊操作；l以臨時(shí)實(shí)體的活動(dòng)為主線，畫(huà)出系統(tǒng)的實(shí)體流圖；以臨時(shí)實(shí)體的活動(dòng)為主線，畫(huà)出系統(tǒng)的實(shí)體流圖；l給出模型參數(shù)的取值；給出模型參數(shù)的取值；l給出排隊(duì)規(guī)則、服務(wù)規(guī)則、優(yōu)先級(jí)、換隊(duì)規(guī)則。給出排隊(duì)規(guī)則、服務(wù)規(guī)則、優(yōu)先級(jí)、換隊(duì)規(guī)則。工業(yè)工程系工業(yè)工程系 蘇平蘇平52 實(shí)體流圖法實(shí)體流圖法實(shí)例：實(shí)例：理發(fā)店服務(wù)系統(tǒng)理發(fā)店服務(wù)系統(tǒng)單隊(duì)列單隊(duì)列-單服務(wù)臺(tái)系統(tǒng)單服務(wù)臺(tái)系統(tǒng)n 系統(tǒng)分析：系統(tǒng)分析： 實(shí)體實(shí)體n 臨時(shí)實(shí)體：顧客臨時(shí)實(shí)體：顧客n 永久實(shí)體：服務(wù)員永久實(shí)體：服務(wù)員n 特殊實(shí)體：隊(duì)列特殊實(shí)體：隊(duì)列 狀態(tài)狀態(tài)n 服務(wù)員：忙、閑服務(wù)員：忙、閑n 顧客：等待服務(wù)、接受服務(wù)顧客：等待服務(wù)、接受

4、服務(wù)n 隊(duì)列：隊(duì)長(zhǎng)隊(duì)列：隊(duì)長(zhǎng)工業(yè)工程系工業(yè)工程系 蘇平蘇平62 實(shí)體流圖法實(shí)體流圖法實(shí)例：理發(fā)店服務(wù)系統(tǒng)實(shí)例：理發(fā)店服務(wù)系統(tǒng)單隊(duì)列單隊(duì)列-單服務(wù)臺(tái)系統(tǒng)單服務(wù)臺(tái)系統(tǒng)n 系統(tǒng)分析：系統(tǒng)分析： 活動(dòng)活動(dòng)n 排隊(duì)、服務(wù)排隊(duì)、服務(wù) 事件事件n 顧客到達(dá)顧客到達(dá)n 顧客結(jié)束排隊(duì)（開(kāi)始接受服務(wù)）顧客結(jié)束排隊(duì)（開(kāi)始接受服務(wù)）n 顧客服務(wù)完畢離開(kāi)顧客服務(wù)完畢離開(kāi) 排隊(duì)規(guī)則排隊(duì)規(guī)則n FIFO工業(yè)工程系工業(yè)工程系 蘇平蘇平72 實(shí)體流圖法實(shí)體流圖法實(shí)例：理發(fā)店服務(wù)系統(tǒng)實(shí)例：理發(fā)店服務(wù)系統(tǒng)單隊(duì)列單隊(duì)列-單服務(wù)臺(tái)系統(tǒng)單服務(wù)臺(tái)系統(tǒng)n 模型屬性變量：模型屬性變量：n 顧客到達(dá)時(shí)間（隨機(jī)變量）顧客到達(dá)時(shí)間（隨機(jī)變量）n 理

5、發(fā)員為一名顧客理發(fā)所需要的時(shí)間（隨機(jī)變量）理發(fā)員為一名顧客理發(fā)所需要的時(shí)間（隨機(jī)變量）工業(yè)工程系工業(yè)工程系 蘇平蘇平83 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖活動(dòng)循環(huán)圖(Activity Cycle Diagram)法的基本原理法的基本原理n活動(dòng)循環(huán)圖（活動(dòng)循環(huán)圖（ACD）法以圖形直觀地顯示系統(tǒng)狀態(tài)及其）法以圖形直觀地顯示系統(tǒng)狀態(tài)及其變化。變化。nACD法認(rèn)為，系統(tǒng)中的每個(gè)實(shí)體都按照各自的方式循環(huán)法認(rèn)為，系統(tǒng)中的每個(gè)實(shí)體都按照各自的方式循環(huán)地發(fā)生變化，存在靜止（以表示）和活動(dòng)（以表示）地發(fā)生變化，存在靜止（以表示）和活動(dòng)（以表示）兩種狀態(tài)，這兩種狀態(tài)在實(shí)體的循環(huán)中交替出現(xiàn)（以兩種狀態(tài)，這兩種狀態(tài)

6、在實(shí)體的循環(huán)中交替出現(xiàn)（以表示兩種狀態(tài)之間的轉(zhuǎn)換）。表示兩種狀態(tài)之間的轉(zhuǎn)換）。nACD法認(rèn)為，系統(tǒng)的狀態(tài)就是全部個(gè)體狀態(tài)變化的集合。法認(rèn)為，系統(tǒng)的狀態(tài)就是全部個(gè)體狀態(tài)變化的集合。當(dāng)研究對(duì)象比較復(fù)雜、包含的實(shí)體數(shù)目較多時(shí)，可以對(duì)當(dāng)研究對(duì)象比較復(fù)雜、包含的實(shí)體數(shù)目較多時(shí)，可以對(duì)系統(tǒng)建立不同層次的系統(tǒng)建立不同層次的ACD模型，將高層次模型進(jìn)一步分模型，將高層次模型進(jìn)一步分解為低層次的模型。解為低層次的模型。工業(yè)工程系工業(yè)工程系 蘇平蘇平93 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD法的建模方法與建模過(guò)程法的建模方法與建模過(guò)程n常用術(shù)語(yǔ)常用術(shù)語(yǔ)n實(shí)體。是指組成系統(tǒng)的各種要素，是實(shí)體。是指組成系統(tǒng)的各種要素，是A

7、CD產(chǎn)生活動(dòng)的主體。產(chǎn)生活動(dòng)的主體。n活動(dòng)。表示實(shí)體正處于某種動(dòng)作狀態(tài)?；顒?dòng)的持續(xù)時(shí)間也稱(chēng)為周活動(dòng)。表示實(shí)體正處于某種動(dòng)作狀態(tài)?；顒?dòng)的持續(xù)時(shí)間也稱(chēng)為周期。期。n隊(duì)列。用來(lái)表示實(shí)體處于靜止或等待狀態(tài)。隊(duì)列。用來(lái)表示實(shí)體處于靜止或等待狀態(tài)。n實(shí)體的行為模式。實(shí)體的行為始終遵循實(shí)體的行為模式。實(shí)體的行為始終遵循“活動(dòng)活動(dòng)隊(duì)列隊(duì)列活動(dòng)活動(dòng)”的交替變化規(guī)則。的交替變化規(guī)則。n直聯(lián)活動(dòng)和虛擬隊(duì)列。如果在任何情況下，某一活動(dòng)完成后，其直聯(lián)活動(dòng)和虛擬隊(duì)列。如果在任何情況下，某一活動(dòng)完成后，其后續(xù)活動(dòng)就立即開(kāi)始，則稱(chēng)后續(xù)活動(dòng)為直聯(lián)活動(dòng)。直聯(lián)活動(dòng)與前后續(xù)活動(dòng)就立即開(kāi)始，則稱(chēng)后續(xù)活動(dòng)為直聯(lián)活動(dòng)。直聯(lián)活動(dòng)與前面活動(dòng)之

8、間為一個(gè)等待時(shí)間為面活動(dòng)之間為一個(gè)等待時(shí)間為0的隊(duì)列，即虛擬隊(duì)列。的隊(duì)列，即虛擬隊(duì)列。n合作活動(dòng)。指一個(gè)活動(dòng)要求有多于一個(gè)的實(shí)體參加才能開(kāi)始。合作活動(dòng)。指一個(gè)活動(dòng)要求有多于一個(gè)的實(shí)體參加才能開(kāi)始。工業(yè)工程系工業(yè)工程系 蘇平蘇平103 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD法的建模方法與建模過(guò)程法的建模方法與建模過(guò)程n舉例舉例：某加工系統(tǒng)有兩個(gè)實(shí)體：一臺(tái)半自動(dòng)機(jī)床和一名：某加工系統(tǒng)有兩個(gè)實(shí)體：一臺(tái)半自動(dòng)機(jī)床和一名操作工。工人負(fù)責(zé)安裝工件和從機(jī)床上取下工件。工件操作工。工人負(fù)責(zé)安裝工件和從機(jī)床上取下工件。工件安裝完畢后，機(jī)床就可以自動(dòng)地完成工件的加工。加工安裝完畢后，機(jī)床就可以自動(dòng)地完成工件的加工。加工完

9、畢，機(jī)床停止，直到工人安裝一個(gè)新的工件，再開(kāi)始完畢，機(jī)床停止，直到工人安裝一個(gè)新的工件，再開(kāi)始下一個(gè)加工循環(huán)。下一個(gè)加工循環(huán)。工業(yè)工程系工業(yè)工程系 蘇平蘇平113 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD法的建模方法與建模過(guò)程法的建模方法與建模過(guò)程工業(yè)工程系工業(yè)工程系 蘇平蘇平123 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD法的建模方法與建模過(guò)程法的建模方法與建模過(guò)程工業(yè)工程系工業(yè)工程系 蘇平蘇平133 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平143 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)

10、床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平153 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平163 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平173 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平183 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序

11、為工業(yè)工程系工業(yè)工程系 蘇平蘇平193 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平203 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平213 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平223 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平

12、233 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平243 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平253 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平263 活動(dòng)循環(huán)圖法活動(dòng)循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺(tái)機(jī)床加工順序?yàn)榧僭O(shè)三臺(tái)機(jī)床加工順序?yàn)楣I(yè)工程系工業(yè)工程系 蘇平蘇平274 Petri網(wǎng)建模網(wǎng)建模1

13、962年（聯(lián)邦）德國(guó)年（聯(lián)邦）德國(guó) Carl Adam Petri 博士在博士在他的博士論文他的博士論文“Communication with automate”中首次提出了一種網(wǎng)狀結(jié)構(gòu)的信息中首次提出了一種網(wǎng)狀結(jié)構(gòu)的信息流模型，后來(lái)被稱(chēng)為流模型，后來(lái)被稱(chēng)為 Petri 網(wǎng)網(wǎng)。已成為控制理。已成為控制理論領(lǐng)域處理離散事件系統(tǒng)的有力工具。論領(lǐng)域處理離散事件系統(tǒng)的有力工具。工業(yè)工程系工業(yè)工程系 蘇平蘇平284 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)主要優(yōu)點(diǎn)：網(wǎng)主要優(yōu)點(diǎn)：采用網(wǎng)絡(luò)圖的形式模擬離采用網(wǎng)絡(luò)圖的形式模擬離散事件系統(tǒng)，形式簡(jiǎn)潔、直觀，特別適合于散事件系統(tǒng)，形式簡(jiǎn)潔、直觀，特別適合于描述系統(tǒng)組織、

14、結(jié)構(gòu)和狀態(tài)的變化；可以在描述系統(tǒng)組織、結(jié)構(gòu)和狀態(tài)的變化；可以在不同概念級(jí)別上表明系統(tǒng)的結(jié)構(gòu)和性質(zhì)；能不同概念級(jí)別上表明系統(tǒng)的結(jié)構(gòu)和性質(zhì)；能有效模擬異步并發(fā)系統(tǒng)，直接分析模型實(shí)體有效模擬異步并發(fā)系統(tǒng)，直接分析模型實(shí)體中是否具有諸如死鎖，狀態(tài)空間無(wú)限等異常中是否具有諸如死鎖，狀態(tài)空間無(wú)限等異常特征。特征。工業(yè)工程系工業(yè)工程系 蘇平蘇平294 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念例：例：用螺釘將用螺釘將3個(gè)零件個(gè)零件1，1個(gè)零件個(gè)零件2和和2個(gè)零件個(gè)零件3連接在連接在一起，得到零件一起，得到零件4。23p1p2p3p4t1k = 500容量容量 K = , , 500 , 標(biāo)識(shí)標(biāo)識(shí)

15、M = 5 , 3 , 4 , 0工業(yè)工程系工業(yè)工程系 蘇平蘇平304 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念n Petri 網(wǎng)圖是一個(gè)五元組：網(wǎng)圖是一個(gè)五元組：PN = ( P, T, I, O, M )n P是庫(kù)所是庫(kù)所(place)節(jié)點(diǎn)的集合；節(jié)點(diǎn)的集合；n T是變遷是變遷(Transition)節(jié)點(diǎn)的集合；節(jié)點(diǎn)的集合；n I 是輸入函數(shù)是輸入函數(shù)P T的有向弧線的集合；的有向弧線的集合；n O 是輸出函數(shù)是輸出函數(shù) TP 的有向弧線的集合；的有向弧線的集合；n M是標(biāo)識(shí)，為一函數(shù)向量，是標(biāo)識(shí)，為一函數(shù)向量，M(pi)表示庫(kù)所表示庫(kù)所pi中所中所含令牌個(gè)數(shù)。含令牌個(gè)數(shù)。工業(yè)

16、工程系工業(yè)工程系 蘇平蘇平314 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念123451, Pp ppppTt( )| ( ,)0( )|( ,)0jjjjIP tpP I p tOP tpP O p t23p1p2p3p4p5t12工業(yè)工程系工業(yè)工程系 蘇平蘇平324 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念23p1p2p3p4p5t12令牌令牌TTnpmpmpmM00431 )(),.,(),(210標(biāo)識(shí)標(biāo)識(shí)1141215131(, )1(, )1(, )2(, )2(, )3I p tO p tI p tO p tI p t工業(yè)工程系工業(yè)工程系 蘇平蘇平334 Pe

17、tri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念23p1p2p3p4p5t12TTnpmpmpmM00431 )(),.,(),(210標(biāo)識(shí)標(biāo)識(shí)TnpkpkpkK)(),.,(),(21容量函數(shù)容量函數(shù)工業(yè)工程系工業(yè)工程系 蘇平蘇平344 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念n 庫(kù)所庫(kù)所(place)可以用來(lái)表示可以用來(lái)表示條件條件、資源資源和和緩沖站緩沖站。n 變遷變遷(Transition)可以用來(lái)表示可以用來(lái)表示事件事件、任務(wù)任務(wù)和和作作業(yè)業(yè)。工業(yè)工程系工業(yè)工程系 蘇平蘇平354 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則變遷的發(fā)生表示系統(tǒng)狀態(tài)的變化，可用變

18、遷的發(fā)變遷的發(fā)生表示系統(tǒng)狀態(tài)的變化，可用變遷的發(fā)射（事件的發(fā)生）規(guī)則來(lái)定義。射（事件的發(fā)生）規(guī)則來(lái)定義。變遷條件和發(fā)射規(guī)則：變遷條件和發(fā)射規(guī)則：對(duì)于對(duì)于 t T 如果如果成立，則變遷是可能的成立，則變遷是可能的( ),()(,)( ),()( )(,)( )( ),(,)()()(,)(,)jiijjiijjjijiiijijpIP tM pI p tpOP tM pK pO p tpIP tpOP tI p tM pK pI p tO p t工業(yè)工程系工業(yè)工程系 蘇平蘇平364 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則變遷后的結(jié)果是變遷后的結(jié)果是()(,),( )()()(,

19、),( )()(,)(,),( )( )iijijiiijijiijijijijM pI p tpIP tMpM pO p tpOP tM pO p tI p tpIP tpOP t工業(yè)工程系工業(yè)工程系 蘇平蘇平374 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則檢查檢查t1 ：O(p1 , t1)=1變遷變遷t1 可以被點(diǎn)燃，可以被點(diǎn)燃，M(p2)=1 ， M(p3)=1 ， M(p6)=0 ， M(p1)=1I(p2 , t1)=1 , I(p3 , t1)=1 , I(p6 , t1)=1M(p2)=2 , M(p3)=2 , M(p6)=1例例1：檢查變遷發(fā)生權(quán)，檢查變遷發(fā)

20、生權(quán)，順序：順序：t1 t2 t3 t4p1p2p4t1t3p6p3p5t2t4工業(yè)工程系工業(yè)工程系 蘇平蘇平384 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則例例1：檢查變遷發(fā)生權(quán)，檢查變遷發(fā)生權(quán)，順序：順序：t1 t2 t3 t4檢查檢查t2 ：t2 沒(méi)有發(fā)生權(quán)沒(méi)有發(fā)生權(quán)p2p4p1t1t3p6p3p5t2t4工業(yè)工程系工業(yè)工程系 蘇平蘇平394 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則例例1：檢查變遷發(fā)生權(quán)，檢查變遷發(fā)生權(quán)，順序：順序：t1 t2 t3 t4檢查檢查t3 ：t3 有發(fā)生權(quán)有發(fā)生權(quán)點(diǎn)燃后，點(diǎn)燃后，M(p2)=0， M(p3)=0 ， M(p5)

21、=0 ， M(p4)=1p2p4p1t1t3p6p3p5t2t4工業(yè)工程系工業(yè)工程系 蘇平蘇平404 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則例例1：檢查變遷發(fā)生權(quán)，檢查變遷發(fā)生權(quán)，順序：順序：t1 t2 t3 t4檢查檢查t4 ：t4 有發(fā)生權(quán)有發(fā)生權(quán)點(diǎn)燃后點(diǎn)燃后 M(p4)=0 M(p3)=1p2p4p1t1t3p6p3p5t2t4工業(yè)工程系工業(yè)工程系 蘇平蘇平414 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系事件事件 t1 和和 t2 為先后為先后關(guān)系關(guān)系事件事件 t2 和和 t3 為并發(fā)為并發(fā)關(guān)系關(guān)系p4p5t2t3p2p3p1t1p2p3p1t1t2p2p3p1t1t2工業(yè)工程系工業(yè)工程系 蘇平蘇平424 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系事件事件 t1 和和 t2 為沖突關(guān)系為沖突關(guān)系p2p3p1t1t2p1p2p3t1t2事件事件 t1 和和 t2 為沖撞關(guān)系為沖撞關(guān)系工業(yè)工程系工業(yè)工程系 蘇平蘇平434 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系p4p3p1t1t3p5p2t2p5p4p1t1t3p2p3t2事件事件 t1 ， t2 ， t3為迷惑關(guān)系，取決于它們的發(fā)生次序。為迷惑關(guān)系，取決于它們的發(fā)生次序。工業(yè)工程系工業(yè)工程系 蘇平蘇平444 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系事件事件 t1 和和 t2 為死鎖關(guān)系，事件不可能發(fā)生。為死鎖關(guān)系，事