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