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

1、工業(yè)工程系工業(yè)工程系 蘇平蘇平離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法 1離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平1 系統(tǒng)建模方法概述系統(tǒng)建模方法概述離散事件系統(tǒng)模型離散事件系統(tǒng)模型n模型是對實際系統(tǒng)本質(zhì)的抽象與簡化，能描述系模型是對實際系統(tǒng)本質(zhì)的抽象與簡化，能描述系統(tǒng)結(jié)構(gòu)或行為過程。統(tǒng)結(jié)構(gòu)或行為過程。2離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平1 系統(tǒng)建模方法概述系統(tǒng)建模方法概述離散事件系統(tǒng)建模方法離散事件系統(tǒng)建模方法n實體流圖法實體流圖法l用流程圖的方法描述事件、狀態(tài)變化及實體間相互作用流程圖的方法描述事件、狀態(tài)變化及實

2、體間相互作用的邏輯關(guān)系。用的邏輯關(guān)系。n活動周期圖法活動周期圖法l以圖形直觀地顯示系統(tǒng)狀態(tài)及其變化。以圖形直觀地顯示系統(tǒng)狀態(tài)及其變化。nPetri網(wǎng)法網(wǎng)法l是一種系統(tǒng)的數(shù)學(xué)和圖形描述與分析工具。是一種系統(tǒng)的數(shù)學(xué)和圖形描述與分析工具。3離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平2 實體流圖法實體流圖法實體流圖實體流圖(Entity Flow Chart, EFC)法的建模思路法的建模思路l辨識系統(tǒng)的實體及屬性；辨識系統(tǒng)的實體及屬性；l分析實體的狀態(tài)和運(yùn)動，隊列的狀態(tài)；分析實體的狀態(tài)和運(yùn)動，隊列的狀態(tài)；l確定系統(tǒng)事件，合并條件事件；確定系統(tǒng)事件，合并條件事件；l分析

3、事件發(fā)生時，實體狀態(tài)的變化；分析事件發(fā)生時，實體狀態(tài)的變化；l在一定的服務(wù)流程下，分析與隊列有關(guān)的特殊操作；在一定的服務(wù)流程下，分析與隊列有關(guān)的特殊操作；l以臨時實體的活動為主線，畫出系統(tǒng)的實體流圖；以臨時實體的活動為主線，畫出系統(tǒng)的實體流圖；l給出模型參數(shù)的取值；給出模型參數(shù)的取值；l給出排隊規(guī)則、服務(wù)規(guī)則、優(yōu)先級、換隊規(guī)則。給出排隊規(guī)則、服務(wù)規(guī)則、優(yōu)先級、換隊規(guī)則。4離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平2 實體流圖法實體流圖法實例：實例：理發(fā)店服務(wù)系統(tǒng)理發(fā)店服務(wù)系統(tǒng)單隊列單隊列-單服務(wù)臺系統(tǒng)單服務(wù)臺系統(tǒng)n系統(tǒng)分析：系統(tǒng)分析：n實體實體n臨時實體：顧客臨

4、時實體：顧客n永久實體：服務(wù)員永久實體：服務(wù)員n特殊實體：隊列特殊實體：隊列n狀態(tài)狀態(tài)n服務(wù)員：忙、閑服務(wù)員：忙、閑n顧客：等待服務(wù)、接受服務(wù)顧客：等待服務(wù)、接受服務(wù)隊列：隊長隊列：隊長5離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平2 實體流圖法實體流圖法實例：理發(fā)店服務(wù)系統(tǒng)實例：理發(fā)店服務(wù)系統(tǒng)單隊列單隊列-單服務(wù)臺系統(tǒng)單服務(wù)臺系統(tǒng)n系統(tǒng)分析：系統(tǒng)分析：n活動活動n排隊、服務(wù)排隊、服務(wù)n事件事件n顧客到達(dá)顧客到達(dá)n顧客結(jié)束排隊（開始接受服務(wù)）顧客結(jié)束排隊（開始接受服務(wù)）n顧客服務(wù)完畢離開顧客服務(wù)完畢離開n排隊規(guī)則排隊規(guī)則FIFO6離散事件系統(tǒng)的建模方法離散事件系統(tǒng)

5、的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平2 實體流圖法實體流圖法實例：理發(fā)店服務(wù)系統(tǒng)實例：理發(fā)店服務(wù)系統(tǒng)單隊列單隊列-單服務(wù)臺系統(tǒng)單服務(wù)臺系統(tǒng)n模型屬性變量：模型屬性變量：n顧客到達(dá)時間（隨機(jī)變量）顧客到達(dá)時間（隨機(jī)變量）n理發(fā)員為一名顧客理發(fā)所需要的時間（隨機(jī)變量）理發(fā)員為一名顧客理發(fā)所需要的時間（隨機(jī)變量）7離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法活動循環(huán)圖活動循環(huán)圖(Activity Cycle Diagram)法的基本原理法的基本原理n活動循環(huán)圖（活動循環(huán)圖（ACD）法以圖形直觀地顯示系統(tǒng)狀態(tài)及其）法以圖形直觀地顯示系統(tǒng)狀態(tài)

6、及其變化。變化。nACD法認(rèn)為，系統(tǒng)中的每個實體都按照各自的方式循環(huán)法認(rèn)為，系統(tǒng)中的每個實體都按照各自的方式循環(huán)地發(fā)生變化，存在靜止（以表示）和活動（以表示）地發(fā)生變化，存在靜止（以表示）和活動（以表示）兩種狀態(tài)，這兩種狀態(tài)在實體的循環(huán)中交替出現(xiàn)（以兩種狀態(tài)，這兩種狀態(tài)在實體的循環(huán)中交替出現(xiàn)（以表示兩種狀態(tài)之間的轉(zhuǎn)換）。表示兩種狀態(tài)之間的轉(zhuǎn)換）。nACD法認(rèn)為，系統(tǒng)的狀態(tài)就是全部個體狀態(tài)變化的集合。法認(rèn)為，系統(tǒng)的狀態(tài)就是全部個體狀態(tài)變化的集合。當(dāng)研究對象比較復(fù)雜、包含的實體數(shù)目較多時，可以對當(dāng)研究對象比較復(fù)雜、包含的實體數(shù)目較多時，可以對系統(tǒng)建立不同層次的系統(tǒng)建立不同層次的ACD模型，將高層次

7、模型進(jìn)一步分模型，將高層次模型進(jìn)一步分解為低層次的模型。解為低層次的模型。8離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD法的建模方法與建模過程法的建模方法與建模過程n常用術(shù)語常用術(shù)語n實體。是指組成系統(tǒng)的各種要素，是實體。是指組成系統(tǒng)的各種要素，是ACD產(chǎn)生活動的主體。產(chǎn)生活動的主體。n活動。表示實體正處于某種動作狀態(tài)。活動的持續(xù)時間也稱為周活動。表示實體正處于某種動作狀態(tài)?；顒拥某掷m(xù)時間也稱為周期。期。n隊列。用來表示實體處于靜止或等待狀態(tài)。隊列。用來表示實體處于靜止或等待狀態(tài)。n實體的行為模式。實體的行為始終遵循實體的行為模式

8、。實體的行為始終遵循“活動活動隊列隊列活動活動”的交替變化規(guī)則。的交替變化規(guī)則。n直聯(lián)活動和虛擬隊列。如果在任何情況下，某一活動完成后，其直聯(lián)活動和虛擬隊列。如果在任何情況下，某一活動完成后，其后續(xù)活動就立即開始，則稱后續(xù)活動為直聯(lián)活動。直聯(lián)活動與前后續(xù)活動就立即開始，則稱后續(xù)活動為直聯(lián)活動。直聯(lián)活動與前面活動之間為一個等待時間為面活動之間為一個等待時間為0的隊列，即虛擬隊列。的隊列，即虛擬隊列。n合作活動。指一個活動要求有多于一個的實體參加才能開始。合作活動。指一個活動要求有多于一個的實體參加才能開始。9離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖

9、法活動循環(huán)圖法ACD法的建模方法與建模過程法的建模方法與建模過程n舉例舉例：某加工系統(tǒng)有兩個實體：一臺半自動機(jī)床和一名：某加工系統(tǒng)有兩個實體：一臺半自動機(jī)床和一名操作工。工人負(fù)責(zé)安裝工件和從機(jī)床上取下工件。工件操作工。工人負(fù)責(zé)安裝工件和從機(jī)床上取下工件。工件安裝完畢后，機(jī)床就可以自動地完成工件的加工。加工安裝完畢后，機(jī)床就可以自動地完成工件的加工。加工完畢，機(jī)床停止，直到工人安裝一個新的工件，再開始完畢，機(jī)床停止，直到工人安裝一個新的工件，再開始下一個加工循環(huán)。下一個加工循環(huán)。10離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD法的建

10、模方法與建模過程法的建模方法與建模過程11離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD法的建模方法與建模過程法的建模方法與建模過程12離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為13離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為14離散事件系統(tǒng)的建模方法離散事件

11、系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為15離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為16離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為17離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇

12、平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為18離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為19離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為20離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的

13、仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為21離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為22離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為23離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順

14、序為假設(shè)三臺機(jī)床加工順序為24離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為25離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平3 活動循環(huán)圖法活動循環(huán)圖法ACD模型的仿真運(yùn)行模型的仿真運(yùn)行n假設(shè)三臺機(jī)床加工順序為假設(shè)三臺機(jī)床加工順序為26離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模1962年（聯(lián)邦）德國年（聯(lián)邦）德國 Carl Adam Petri 博士在博士在他的博士論文他的

15、博士論文“Communication with automate”中首次提出了一種網(wǎng)狀結(jié)構(gòu)的信息中首次提出了一種網(wǎng)狀結(jié)構(gòu)的信息流模型，后來被稱為流模型，后來被稱為 Petri 網(wǎng)網(wǎng)。已成為控制理。已成為控制理論領(lǐng)域處理離散事件系統(tǒng)的有力工具。論領(lǐng)域處理離散事件系統(tǒng)的有力工具。27離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 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)，形式簡潔、直觀，特別適合于散事件系統(tǒng)，形式簡潔、直觀，特別適合于描述系統(tǒng)組織、結(jié)構(gòu)和狀態(tài)的變化；可以在描述系統(tǒng)組織、結(jié)構(gòu)和狀態(tài)的變

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

17、5 , 3 , 4 , 029離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念nPetri 網(wǎng)圖是一個五元組：網(wǎng)圖是一個五元組：PN = ( P, T, I, O, M )nP是庫所是庫所(place)節(jié)點(diǎn)的集合；節(jié)點(diǎn)的集合；nT是變遷是變遷(Transition)節(jié)點(diǎn)的集合；節(jié)點(diǎn)的集合；nI 是輸入函數(shù)是輸入函數(shù)P T的有向弧線的集合；的有向弧線的集合；nO 是輸出函數(shù)是輸出函數(shù) TP 的有向弧線的集合；的有向弧線的集合；nM是標(biāo)識，為一函數(shù)向量，是標(biāo)識，為一函數(shù)向量，M(pi)表示庫所表示庫所pi中所中所含令

18、牌個數(shù)。含令牌個數(shù)。30離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念123451, PpppppTt( )| ( ,)0( )|( ,)0jjjjIP tpP I p tOP tpP O p t23p1p2p3p4p5t1231離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念23p1p2p3p4p5t12令牌令牌TTnpmpmpmM00431 )(),.,(),(210標(biāo)識標(biāo)識1141215131(, )1(, )1(, )2(

19、, )2(, )3I p tO p tI p tO p tI p t32離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念23p1p2p3p4p5t12TTnpmpmpmM00431 )(),.,(),(210標(biāo)識標(biāo)識TnpkpkpkK)(),.,(),(21容量函數(shù)容量函數(shù)33離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)基本概念網(wǎng)基本概念n庫所庫所(place)可以用來表示可以用來表示條件條件、資源資源和和緩沖站緩沖站。n變遷變遷(Transit

20、ion)可以用來表示可以用來表示事件事件、任務(wù)任務(wù)和和作業(yè)作業(yè)。34離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則變遷的發(fā)生表示系統(tǒng)狀態(tài)的變化，可用變遷的發(fā)變遷的發(fā)生表示系統(tǒng)狀態(tài)的變化，可用變遷的發(fā)射（事件的發(fā)生）規(guī)則來定義。射（事件的發(fā)生）規(guī)則來定義。變遷條件和發(fā)射規(guī)則：變遷條件和發(fā)射規(guī)則：對于對于 t T 如果如果成立，則變遷是可能的成立，則變遷是可能的( ),()(, )( ),()( )(, )( )( ),(, )()()(, )(, )jiijjiijjjijiiijijpIP tM pI p

21、tpOP tM pK pO p tpIP tpOP tI p tM pK pI p tO p t35離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則變遷后的結(jié)果是變遷后的結(jié)果是()(,),( )()()(,),( )()(,)(,),( )( )iijijiiijijiijijijijM pI p tpIP tMpM pO p tpOP tM pO p tI p tpIP tpOP t36離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則

22、網(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ā)生權(quán)，順序：順序：t1 t2 t3 t4p1p2p4t1t3p6p3p5t2t437離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petri網(wǎng)的變遷規(guī)則網(wǎng)的變遷規(guī)則例例1：檢查變遷發(fā)生權(quán)，檢查變遷發(fā)生權(quán)，順序：

23、順序：t1 t2 t3 t4檢查檢查t2 ：t2 沒有發(fā)生權(quán)沒有發(fā)生權(quán)p2p4p1t1t3p6p3p5t2t438離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 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)=0 ， M(p4)=1p2p4p1t1t3p6p3p5t2t439離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模Petr

24、i網(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)=1p2p4p1t1t3p6p3p5t2t440離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系事件事件 t1 和和 t2 為先后為先后關(guān)系關(guān)系事件事件 t2 和和 t3 為并發(fā)為并發(fā)關(guān)系關(guān)系p4p5t2t3p2p3p1t1p2p3p1t1t2p2p3p1t1t241離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petr

25、i網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系事件事件 t1 和和 t2 為沖突關(guān)系為沖突關(guān)系p2p3p1t1t2p1p2p3t1t2事件事件 t1 和和 t2 為沖撞關(guān)系為沖撞關(guān)系42離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系p4p3p1t1t3p5p2t2p5p4p1t1t3p2p3t2事件事件 t1 ， t2 ， t3為迷惑關(guān)系，取決于它們的發(fā)生次序。為迷惑關(guān)系，取決于它們的發(fā)生次序。43離散事件系統(tǒng)的建模方法離散事件系統(tǒng)的建模方法工業(yè)工程系工業(yè)工程系 蘇平蘇平4 Petri網(wǎng)建模網(wǎng)建模邏輯關(guān)系邏輯關(guān)系事件事件 t1 和和 t2 為死鎖關(guān)系，事件不可