基于有色Petri網(wǎng)的自動(dòng)化立體倉(cāng)庫(kù)的建模研究.pdf

1、自動(dòng)化立體倉(cāng)庫(kù)系統(tǒng)(Automated Storage and Retrieval System,AS/RS)是在不直接進(jìn)行人工干預(yù)的情況下,自動(dòng)地存儲(chǔ)或取出貨物的系統(tǒng);是使用多層貨架、在巷道的任何貨區(qū)的貨位下存取貨物的叉車(chē)和計(jì)算機(jī)控制、信息通信的系統(tǒng)。任務(wù)規(guī)劃是自動(dòng)化立體倉(cāng)庫(kù)研究中的一個(gè)重點(diǎn)。因此,研究系統(tǒng)的穩(wěn)定性和任務(wù)規(guī)劃的合理性是十分必要的。
　　論文首先介紹并分析了西安科技大學(xué)學(xué)科群實(shí)驗(yàn)中心自動(dòng)化物流系統(tǒng)的硬件組成。在了解

2、各部分結(jié)構(gòu)和參數(shù)的基礎(chǔ)上,建立 Petri網(wǎng)模型對(duì)該自動(dòng)化立體倉(cāng)庫(kù)的任務(wù)規(guī)劃進(jìn)行描述,并給出了該模型各要素對(duì)應(yīng)的定義。
　　其次,針對(duì)自動(dòng)化立體倉(cāng)庫(kù)的任務(wù)規(guī)劃以及所建立 Petri網(wǎng)模型的復(fù)雜性,在對(duì)基本Petri網(wǎng)和有色Petri網(wǎng)(CPN)分析比較的基礎(chǔ)上,提出了采用有色Petri網(wǎng)對(duì)自動(dòng)化立體倉(cāng)庫(kù)進(jìn)行建模,并結(jié)合實(shí)際系統(tǒng)給出了CPN模型描述性定義,然后在CPN Tools環(huán)境下分別對(duì)系統(tǒng)出、入庫(kù)兩種操作和出、入庫(kù)和移庫(kù)三種操

3、作進(jìn)行仿真,通過(guò)對(duì)系統(tǒng)模型狀態(tài)空間的分析,驗(yàn)證了有色 Petri網(wǎng)應(yīng)用在物流系統(tǒng)中的通用性以及該系統(tǒng)具有有界性和活性等特性,且無(wú)死鎖,進(jìn)一步論證了該物流系統(tǒng)任務(wù)規(guī)劃的合理性,為整個(gè)系統(tǒng)的穩(wěn)定性和多任務(wù)的協(xié)調(diào)操作奠定了理論基礎(chǔ)。
　　最后,在系統(tǒng)穩(wěn)定性和任務(wù)規(guī)劃合理性的基礎(chǔ)上,利用西安科技大學(xué)學(xué)科群實(shí)驗(yàn)中心自動(dòng)化物流系統(tǒng)這一現(xiàn)有的硬件平臺(tái),通過(guò)設(shè)計(jì)的數(shù)據(jù)庫(kù)和操作界面,拓展開(kāi)發(fā)了物流系統(tǒng)的流水線控制系統(tǒng)。經(jīng)過(guò)多次現(xiàn)場(chǎng)調(diào)試證明了所開(kāi)發(fā)的