生產計劃與控制04第四章制造系統(tǒng)的建模方法(編輯修改稿)
2025-03-02 20:17 本頁面
【文章內容簡介】 的動態(tài)規(guī)律稱為變遷規(guī)則（ transition rule）。 2023/3/3 24 Petri網的運行規(guī)則 （ 3） 定義 3： 變遷發(fā)生條件 — 運行規(guī)則 ?p∈ *t， M（ p） ≥W（ p， t） ?p∈ *t， M（ p） ≤[K（ p） — W（ t， p） ]。 ?p∈ t*∧ ?p∈ t*， M（ p） ≤[K（ p） +W（ p， t） — W（ t， p） ] 則稱 t在 M下有效，記作 M[t。 六組元 ∑=（ P， T； F， K， W， M）為一 Petri網系統(tǒng)。 對于任意 t∈ T變遷元素，如果在標識 M下，有 2023/3/3 25 Petri網的運行規(guī)則 ????????????)(),(),()(),()(),()()(39。pMptWtpWpMptWpMtpWpMpM** ttp ??若 tt ** ??若 ** tp ?若 **tp?若M’為 M之后繼 （ successor） 的事實記作 M[tM’。 若 M[t,則 t在 M可以發(fā)生 ， 同時將標識 M改變?yōu)?M的后續(xù) M’。對于任何 p∈P ， M’為： （ 4） 定義 4： 變遷發(fā)生后果 運行規(guī)則 Petri網的運行規(guī)則 下圖是一個 petri網 系統(tǒng)中變遷 t激發(fā)前和激發(fā)后的標識 。 例：根據 Petri網的運行規(guī)則 ， 按照 t1t2t3t4的順序 ， 依次 對圖 1中變遷發(fā)生進行檢查。 28 Petri網的變遷間的關系 基于 Petri網的事件關系分析 a 順序關系 b 并發(fā)關系 c 沖突關系 e 迷惑關系 d 沖撞關系 2023/3/3 29 Petri網的變遷間的關系 基于 Petri網的事件關系分析 f 死鎖關系 ? Petri網的可達性、有界性和安全性、活性以及可逆性。 Petri網的行為特性 可達性 可達性是 Petri網的一個重要特性。給定一個 Petri網，已知初始標識 M0可以到達那些標識 ,或者給定某一標識，是否可以從初始標識通過一系列變遷到達該標識。 定義 5 ： 若從初始標識開始實施一個變遷序列產生標識，則稱該標識是從 M0可達的。若只要從開始實施一個變遷即可產生，則稱是從 M0立即可達的。所有從 M0可達的標識的集合稱為可達標識集或可達集，記為 R（ M0）。 31 Petri網的行為特性 可達樹描述了從 M0出發(fā)的所有可能啟動序列的集合，它將 R(M0)的各個標識作為節(jié)點，是以從 M0到各個節(jié)點的發(fā)射系列為樹枝畫出的圖。 32 Petri網的行為特性 ?可達性可描述制造系統(tǒng)這樣的 2個問題： （ 1）系統(tǒng)按照一定的軌跡運行，系統(tǒng)能否達到一定的狀態(tài)或不期望的狀態(tài)不出現(xiàn)，典型的問題是生產調度計劃的驗證，即按照一定的生產計劃進行生產，一定的生產任務是否能夠完成； （ 2）要求到達一定的狀態(tài)，如何確定系統(tǒng)的運行軌跡，典型的問題是生產調度問題。 Petri網的行為特性 33 有界性和安全性 定義 6： 對于 Petri網，若存在一個整數(shù) ,使得 M0的任何一個可達性標識的每個位置中的標識數(shù)都不超 K，則稱 Petri網為 K有界或簡稱有界。 若 K=1，則稱此 Petri網為安全的。這種網的每個位置或有一個標識，或沒有標識。 通常，位置用于表示制造系統(tǒng)中的工件、工具、托盤以及 AGV的存放區(qū)（工件的存放區(qū)就是緩沖區(qū)），還用于表示資源的可利用情況。確認這些存放區(qū)是否溢出或資源的容量是否溢出是非常重要的。 Petri網的有界性是檢查系統(tǒng)是否存在溢出的有效尺度。當位置用于描述一操作，該位置的安全性能夠確保不會重復啟動一正在進行的操作。 Petri網的行為特性 34 活性 定義 7 :對于一變遷 t∈ T，在任一標識下，若存在一個變遷序列，該變遷序列的實施使得此變遷 t可實施，則稱該變遷是活的。若一 Petri網的所有變遷都是活的，則該 Petri網是活的。 ? 死變遷和鎖死從反面描述 Petri網的活性。 ?出現(xiàn)鎖死的原因是不合理的資源分配策略或某些或全部資源的耗盡。 在自動化制造系統(tǒng)中，許多資源是共享的。在這樣的資源共享系統(tǒng)中，下列 4個情況可能同時滿足，從而導致鎖死： ? 1）互斥：一個資源不可以為 2個或 2個以上過程同時使用，一過程排斥其它過程對于該資源的占用； ? 2）占用且等待：一過程已占用某一或某些資源，同時又在請求占用其它資源； ? 3）無搶占：已分配給某一過程的資源不能從該過程中搶走，除非該過程使用此資源完畢后釋放； ? 4）循環(huán)等待： 2個或更多過程排成一個鏈，鏈上每個過程都在等待一個正在被鏈上下一個過程占用的資源。 ? 除非系統(tǒng)控制軟件具有探測和恢復系統(tǒng)功能，最初發(fā)生在子系統(tǒng)中的鎖死可能傳播到系統(tǒng)的大部分，從而導致系統(tǒng)的完全停頓。 Petri網的行為特性 36 Petri網的行為特性 37 Petri網的行為特性 38 Petri網的行為特性 可逆行 定義 8 ： 一 Petri網，若對于每一個標識 M∈ R（ M0）， M0都是從 M可達的，則稱該 Petri網是可逆的。 具有可逆性的 petri網被稱為可逆網 。 因此 ， 一個可逆網可以返回初始標識或初始狀態(tài) 。 在許多實際應用中 ， 往往只要求系統(tǒng)回到某個特定狀態(tài) （ 稱為為主宿狀態(tài) M’） ， 而無需回到初始狀態(tài) 。 對于 R（ M0） 的每個標識 M， 主宿狀態(tài) M’都是可達的 。 可逆性意味著模型可以自身初始化 。 這對于自動從差錯中恢復是極為重要的 。 39 Petri網的行為特性 上圖是一個可逆的 Petri 網 。 在這個網中 ， 初始標識M0(0,0,1,1,1)經過變遷序列 t2t1t3t4可 以回到初始標識 。 M (0,0,1
教學課件相關推薦
鄂ICP備17016276號-1