Petri網(wǎng)基本概念及介紹

會計學(xué)1Petri網(wǎng)基本概念及介紹Petri網(wǎng)基本概念Petri網(wǎng)是一種網(wǎng)狀模型，包括事件和條件兩個節(jié)點類型，在這樣的圖形中，分布著表示狀態(tài)資源或信息的托肯(Token)，按照觸發(fā)規(guī)則進行狀態(tài)的演化，從而反映系統(tǒng)運行的全部過程。事件一般用“變遷”表示，條件用“庫所”表示，托肯用庫所內(nèi)的小黑點表示，庫所和變遷之間用有向弧連接。第1頁/共20頁Petri網(wǎng)基本概念第2頁/共20頁Petri網(wǎng)基本概念第3頁/共20頁Petri網(wǎng)基本概念討論Petri網(wǎng)系統(tǒng)時，容量函數(shù)K為給定的第4頁/共20頁Petri網(wǎng)基本概念第5頁/共20頁Petri網(wǎng)基本概念第6頁/共20頁Petri網(wǎng)基本概念第7頁/共20頁Petri網(wǎng)基本概念若一個Petri網(wǎng)中的每個遷移都只有一個輸入位置和一個輸出位置,則稱該網(wǎng)是確定的或稱為一個狀態(tài)機.若每個位置恰好有一條進入弧和一條發(fā)出弧,則稱該網(wǎng)是一個標記圖。這是一個狀態(tài)機第8頁/共20頁Petri網(wǎng)基本概念第9頁/共20頁Petri網(wǎng)基本概念T2、T3并發(fā)并且該網(wǎng)為一個標記圖第10頁/共20頁Petri網(wǎng)基本概念Petri網(wǎng)的可達圖是其可能狀態(tài)和使能遷移關(guān)系的圖表示。第11頁/共20頁Petri網(wǎng)基本性能可達性如果Petri網(wǎng)的一個初始標識M0通過不斷激發(fā)變遷，最終得到一個新的標識Mn，那么則認為Mn是從M0可達的；

若從M0開始只需要激發(fā)一個變遷即可達，則稱Mn是從M0立即可達的；第12頁/共20頁Petri網(wǎng)基本性能可達性具體應(yīng)用：①系統(tǒng)按照一定軌跡運行，系統(tǒng)能否實現(xiàn)一定狀態(tài)，典型問題是生產(chǎn)調(diào)度計劃的驗證；②要求達到一定狀態(tài)，如何確定系統(tǒng)運行軌跡；第一個問題可描述為：給定Sr初始標識以及期望達到標識Mr，驗證之；給定m0和mr,尋找sr使得m0[Sr>mr.

第13頁/共20頁Petri網(wǎng)基本性能有界性有界性反映系統(tǒng)運行過程中對資源變量的需求，它意味著，Petri網(wǎng)藝在其所有可能的狀態(tài)標識下，網(wǎng)的各位置節(jié)點中的托肯數(shù)必為有界的。在理論分析時?？杉俣ㄎ恢萌萘繛闊o窮，但在實際系統(tǒng)設(shè)計中，必須使網(wǎng)絡(luò)中的每個位置在任何狀態(tài)下的標志數(shù)小于位置的容量，這樣才能保證系統(tǒng)的正常運行，不至于產(chǎn)生溢出現(xiàn)象。第14頁/共20頁Petri網(wǎng)基本性能有界性通常，庫所表示制造系統(tǒng)中的工件、工具、托盤以及AGV的存放，還用于表示資源的可利用情況，有界性是檢查被Petri所描述的系統(tǒng)是否存在溢出的有效尺度，防止確保不會重復(fù)啟動某一正在進行的操作。第15頁/共20頁Petri網(wǎng)基本性能活性對于一個變遷T，在任意標識m下，若存在某一變遷序列Sr,該變遷序列的激發(fā)使得此變遷T使能，責成該變遷是活的（Live），若一個Petri的所有變遷都是活的，則稱該網(wǎng)是活的。第16頁/共20頁Petri網(wǎng)基本性能活性死變遷：若存在m，不存在從m開始的變遷序列，該序列的激發(fā)使得m使能，則該變遷是死變遷；鎖死：若存在一個m，在此狀態(tài)下，無任何變遷使能，則稱Petri包含一個鎖死；第17頁/共20頁Petri網(wǎng)基本性能活性出現(xiàn)鎖死的情況