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

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

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