【正文】 一個變遷發(fā)生后，從每一個輸入庫所中移出與輸入弧權數相等的標記數（令牌數），在每一個輸出庫所中產生與輸出弧權數相等的標記數。(4) Petri網事件邏輯關系① 順序關系 ② 并發(fā)關系 ③ 沖突關系 二、仿真模型(二 ) Petri 網模型④ 迷惑關系 ⑤ 死鎖關系 二、仿真模型(二 ) Petri 網模型⑥ 合并關系 ⑦ 同步關系 ⑧ 優(yōu)先關系 二、仿真模型(二 ) Petri 網模型例 1 例 2二、仿真模型(二 ) Petri 網模型Petri網三、物流系統仿真概述（一）系統仿真的概念 針對真實系統首先建立模型，然后在模型上進行試驗，用模型代替真實系統，從而研究系統性能的方法稱為系統仿真。 根據模型的不同，系統仿真主要分為： 根據所研究的系統不同，系統仿真又可分為：物理仿真數學仿真混合模型：物理 — 數學仿真連續(xù)系統仿真離散系統仿真（二）系統仿真的一般步驟 （ 1）調研系統，設立目標 （ 2）收集數據，建立模型 （ 3）編制程序 （ 4）運行仿真模型 （ 5）輸出結果分析 （三）系統仿真一些基本概念 （ 1）實體： 是指組成系統的物理單元，如物流系統中的 AGV、緩沖站、倉庫貨物及工件等?？煞譃榕R時實體和永久實體兩類 。 （ 2）事件： 是指引起系統變化的行為，也就是說，系統的動態(tài)過程是靠事件來驅動的。分必然事件和條件事件。 （ 3）成分： 成分與實體是同一概念，只是根據習慣，在描述系統時用實體而在模型描述中用成分。成分分為主動成分和被動成分 。（ 4）活動： 兩個相鄰發(fā)生的事件之間的過程稱為活動，它標志著系統狀態(tài)的轉移。（ 5）進程： 若干事件與若干活動組成的過程稱為進程，它描述了各事件活動發(fā)生的相互邏輯關系。 （ 6）仿真鐘： 用于仿真時間的變化。 （四）離散事件系統仿真方法 離散事件系統仿真的仿真鐘推進方法分為：常用的仿真算法有：下一事件步長法固定增量法。 面向事件的調度法： 是面向事件的方法，適合于活動持續(xù)時間比較確定的系統。 面向活動的活動掃描法： 是面向活動的?；顒娱_始和結束是系統狀態(tài)變化的標志，而活動的開始與結束不僅取決于時間因素，還取決于其它的因素（條件因素）。 面向進程的進程交互法： 是事件調度法與活動掃描法的結合。它是以模型的各個主動成分的活動為主線來調度事件生成的順序的。 （五）仿真結果分析 一次仿真的結果，只能是系統性能的一次抽樣分析，不能完全代表系統 “真正 ”的性能。這就要求通過多次觀察隨機變量，用統計方法對輸出結果進行分析。 （六）物流系統仿真軟件介紹 1． SIMAnimation SIMAnimation是美國 3i公司設計開發(fā)的集成化物流仿真軟件。包括布局編輯器、試驗編輯器和完整的用戶報表編輯器。同時仿真模型還包括豐富的交互特點。 SIMAnimation允許用戶仿真復雜的運動，像動力學和速度，像機器人、車床、傳輸通道、特殊空間中顯示，包括傳輸、旋轉、有形物體、視角和不斷運動視覺。2． Automod Automod是 Brooks公司開發(fā)三維物流仿真軟件，主要包括了三大模塊：AutoMod、 AutoStat和 AutoView。 用 Automod進行物流配送中心規(guī)劃仿真實例 3． ShowFlow ShowFlow 仿真軟件可為制造業(yè)和物流業(yè)提供建模、仿真、動畫和統計分析工具。4． Quest Quest是法國達索系統（ Dassault Systemes）公司開發(fā)，針對設備建模、實驗、分析設備分布和工藝流程的柔性、面向對象的、基于連續(xù)事件的專用模擬軟件。 5． Stream Stream 是日本三井造船股份有限公司開發(fā)的仿真軟件，其最大特點是從日文命令組中選出并排列的形式記述每一個設備的控制邏輯，關于制作完成的模型，仍然沿襲使用了其前身 MiFactory。 6． Witness Witness是英國 Lanner Group的產品，是平面離散系統生產線仿真器，操作簡單，在低配置計算機上也完全可以靈活使用，是生產線仿真器的老字號，其齊備的基本仿真功能和處理優(yōu)勢，一直是大家所公認的。 7． Flexsim Flexsim應用深層開發(fā)對象，這些對象代表著一定的活動和排序過程。 樂龍（ RaLC）軟件由日本 AIS人工智能服務有限公司開發(fā)，上海樂龍人工智能軟件有限公司為其在華獨資子公司，完全中文化界面。9. Exend Exend系統仿真軟件是由美國 Imagine That公司開發(fā)的通用仿真平臺。 第四節(jié) 物流系統仿真實例實例 1：企業(yè)物流庫存子系統動力學仿真 本例以國內某儀表生產廠家的企業(yè)物流庫存作為例子，說明用系統動力學方法進行企業(yè)物流庫存仿真分析的方法和過程，數據來源于該儀表企業(yè)。 1．分析問題 庫存的存在是企業(yè)的一種無奈的選擇，一方面，庫存的存在可以彌補企業(yè)因為無法準確預測未來的需求變化；另一方面，庫存的存在占用企業(yè)資金，增加企業(yè)運營成本。2．系統邊界的確定 庫存分為兩類：一類是產品庫存；一類是原材料庫存。 企業(yè)物流庫存子系統邊界 3．系統結構分析 4．反饋分析企業(yè)物流庫存系統因果關系反饋圖 5．系統流圖企業(yè)物流庫存系統的系統流圖 6．仿真結果分析企業(yè)物流庫存系統的動力學仿真結果 實例 2：自動化立體倉庫出入庫系統的 Petri網建模和仿真 1．自動化立體倉庫出入庫系統的結構及工作原理 本例研究的是巷道式生產性自動化立體倉庫系統，其結構平面圖如圖所示，系統主要由貨架區(qū)、堆垛機、出 /入庫臺和出入庫緩沖區(qū)四部分組成，整體布置采用同端出入庫式。 自動化立體倉庫平面圖 2．自動化立體倉庫出入庫系統的 Petri網模型的建立3．自動化立體倉庫出入庫調度仿真仿真 時間 （ h） 堆 垛 機忙 閑 比 在 緩 沖站滯留 4min以上的 貨 物比例320 仿真結果表 本例給出的自動化立體倉庫系統出入庫調度的OOTPN模型，由于該模型采用對象模塊化的思想，因此非常易于擴展。要增加堆垛機數量和巷道數只需修改模型中的 Token數目；即使系統要增加新的設備也只需相應的增加新的對象模塊，并不需改變原來的模型。 由表也可以看出本系統運行的效率并不高，這和所采用的調度策略比較簡單有關。通過進一步優(yōu)化調度策略，將能夠提高系統的效率，同時調度策略的優(yōu)化也有利于避免死鎖。