倉儲物流係統是以其入庫台、傳送帶、叉車、堆垛機、AGV小車、托盤、貨物、緩衝區臨時堆場、條碼等為資源, 並以入庫活動開始, 出庫活動結束為事件的一類離散事件動態係統.離散事件係統的時間是連續變化的, 而係統的狀態僅在一些離散的時刻上由於隨機事件的驅動而發生變化.由於狀態是離散變化的, 而引發狀態變化的事件是隨機發生的, 因此這類係統的模型很難用數學方程來描述.文中運用基於時間的Petri網建模方法建立倉儲物流模型, 該方法適於多種離散事件係統, 並對其進行優化仿真, 反映倉儲中的物資及信息流向, 可以優化物流操作過程, 提高工作效率.

Petri網是一種可用圖形表示的組合模型, 它由位置或庫所, 轉移或變遷和有向弧組成.跟Petri網有關的幾個因素有如下幾點.

與係統狀態變化有關的因素稱為資源.如原料、部件、產品、人員、工具、設備、數據及信息等.資源用“托肯” (token) 表示.

資源按其在係統中的作用分類, 每一類存放一處, 則該處抽象為一個相應的狀態元素.庫所不僅表示一個場所, 而且表示在該場所中存放了一定的資源.

資源的消耗、使用及產生對應於狀態元素的變化稱為變遷.

如果庫所隻有兩種狀態, 有標記和無標記, 則稱該庫所為條件.

涉及條件的變遷稱為事件.

庫所對儲存資源的數量限製稱為庫所的容量.

因此, 原始的Petri網可以形式化地定義為

PN={P,T;F,G} (1)ΡΝ={Ρ,Τ;F,G}(1)

式中:P為庫所集, P={p1, p2, …, pn}, n>0;T為變遷集, T= (t1, t2, …, tm) , m>0, P∪T≠∅且P∩T=∅;F為P→T之間的流關係, F⊆P×T→N, N={0, 1, 2, …};G為T→P之間的流關係, G⊆T×P→N, N={0, 1, 2, …}.

Petri網的圖形表示是具有兩種頂點形式的有向圖 (如圖1所示) :用圓“○”表示的是一個庫所集合P, 用棒“⌷”表示的是一個變遷集合T.函數F和G用箭頭 (邊) 表示, 稱為流關係.

以上引入的概念屬於Petri網的靜態結構, 即Petri網的原始結構.這種靜態的原始Petri網不能表示複雜的活動, 經過進一步的擴充後, 借助於標識的概念, 產生了標識Petri網, 使Petri網具備了動態性質.

圖1 Petri網有向圖  下載原圖

標識Petri網給網中的某些庫所 (位置) 安放了著色黑點“托肯”, 利用這些“托肯”點可以控製Petri網轉移的激發, 使Petri網在靜態描述的基礎上, 進一步增加動態描述的能力.

帶標識的Petri網是給Petri網的位置點或庫所“○”以標識“·”, 每一位置點給的標識數目可以不限, Petri網的結構相同, 但標識數目可以不同.因此, 該Petri網的性能可以直觀地敘述如下.

設I為庫所集P中有有向邊指向變遷集T中ti的點的集合.若p∈I, 且p點的標識“·”數目不少於由p到t的邊的數目, 則t將被啟動, 或稱t可以點火.t點火後, t的輸入位置的點的標識“·”數目減少, 減少的數目等於 (p, t) 邊的邊數, t的輸出位置點p′的標識“·”數增加, 增加的數目正好是 (t, p′) 邊的邊數.即通過轉移點t, 將標識“·”從輸入位置P轉到輸出位置p′, 一個轉移點點火隻當它的每一個輸入位置的標誌“·”數至少和它通向轉移點的邊數一樣多.若將位置點看作是條件, 而轉移點是執行或運算, 則標識數則用以刻畫條件是否成熟.其過程如圖2所示.

圖2 t1, t2點火變遷過程  下載原圖

一個典型的現代倉儲物流係統包含入庫台、輸送帶、AGV自動導引小車、堆垛機、托盤、貨架、空托盤堆放區、分揀區、出庫台等.這個物流係統的運作流程如下.

入庫流程:倉庫收到入庫消息→貨物進入庫台→到達輸送帶→在輸送的過程中向等待的AGV發出請求→AGV取貨→取貨的過程中向堆垛機發出請求→堆垛機送貨到各個貨位.

出庫流程:按照出庫單查詢出庫貨物的具體庫位→堆垛機取貨→貨物進入分揀係統輸送帶→分揀係統揀貨→出庫→ (空托盤清理) .

現用麵向對象的Perti網仿真軟件VisObjNet對上述流程中的倉儲部分進行仿真.該軟件不需要描述物流係統的代碼.當模擬係統運行時, VisObjNet提供動畫界麵.它是由帶有動態和靜態文本標簽的連線框架和外部模型組成的.在VisObjNet中, 物流係統和處理係統是以人-機對話的形式建立在計算機屏幕上的.該模型的執行就是仿真.動畫仿真是一個優秀的檢驗工具, 並且在那些不是做分析、技術工作的管理者們解釋仿真時非常有用, 而且能夠在屏幕上直接觀察運行中存在的問題.

圖3是利用VisObjNet仿真軟件仿真一個典型的倉儲係統工作流程.

其中入庫台的容量設為200, AGV的容量設為2, 銜接區的容量為3, 貨架的容量為60, 貨架上每個貨位的容量為2, 分揀區和出庫台的容量均為1 000, 輸送帶為可積放式, 其容量為20.位置的容量可以代表標識數 (或token數) .每條邊上的數據均為權數, 未加權數的邊其權數都默認為1, 權數為-1的邊的權數為任意.當每個位置的標識數達到了其輸出邊的權數, 則T即事件發生.設貨物進入庫台的延遲時間為30 s.

仿真開始後, 當位置“入庫消息”收到了10個token量的貨物時, 事件“進入庫台”便啟動發生, 後續位置“入庫台”接收到了10個token量的貨物.接著後續事件啟動, 貨物到達“輸送帶”, token不斷傳遞, 各個後續事件逐一被啟動.

其中AGV小車在收到輸送請求及空閑AGV的token為1時才觸發, 並在銜接區取貨, 且同時向空閑堆垛機輸出一個token, 在堆垛機取貨後, AGV空車返回空閑處等待.同樣, 堆垛機在載貨行走至貨位、堆垛後返回原處.在分揀區, 可依所需的包裝數量進行設置其token、變遷的容量.此時設置的變遷的容量均為50.

圖3 VisObjNet軟件物流仿真流程  下載原圖

空托盤的清理按定量方式進行, 例中, 其容量定為50個token, 即50個托盤作一次處理, 處理後在托盤堆放區增加一個token.

在仿真運行到20 min左右時, 入庫台的容量達到飽和.入庫台不再按設置的延遲時間每隔30 s收10個token的貨物, 而是在相差大約15個token的貨物時, 自動傳遞10個token.

當仿真運行到25 min 12 s時, 入庫台的token數為192個, 散放空托盤積累了30個, 空托盤堆放區已有9堆 (每堆是50個) , 出庫貨物為450個token的量;當仿真運行到50 min36 s的時候, 入庫台的token數為187個, 沒有散放的空托盤, 空托盤堆放區已有20堆, 出庫貨物為950個托肯的量.

1) 基於Petri網的物流係統仿真能夠清楚地展現在邏輯時序下整個倉儲係統的工作流程及係統特性.

2) 從仿真結果數據來看, 入庫量與出庫量持平, 係統運行良好.然而, 用Petri網仿真, 隻能模擬得出流程關係, 而難以模擬出其平麵關係, 因此, 它的直接表現性還很不夠.