資源描述：
《基于有色Petri網(wǎng)的自動(dòng)化立體倉(cāng)庫(kù)的建模研究.pdf》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在工程資料-天天文庫(kù)。
1、論文題目：基于有色Petri網(wǎng)的自動(dòng)化立體倉(cāng)庫(kù)的建模研究專業(yè)：控制理論與控制工程碩士生：毛金波（簽名）指導(dǎo)老師：侯媛彬（簽名）摘要自動(dòng)化立體倉(cāng)庫(kù)系統(tǒng)(AutomatedStorageandRetrievalSystem，AS/RS)是在不直接進(jìn)行人工干預(yù)的情況下，自動(dòng)地存儲(chǔ)或取出貨物的系統(tǒng)；是使用多層貨架、在巷道的任何貨區(qū)的貨位下存取貨物的叉車和計(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)的硬件組成。在了解各部分結(jié)
2、構(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模型描述性定義，然后在CPNTools環(huán)境下分別對(duì)系統(tǒng)出、入庫(kù)兩種操作和出、入庫(kù)和移庫(kù)三種操作進(jìn)行仿真，通過(guò)對(duì)系統(tǒng)模型狀態(tài)空間的分析，驗(yàn)證了有色Petri網(wǎng)應(yīng)用在物流系統(tǒng)中的通用性以及該系統(tǒng)具有有界性和活性等特性，且無(wú)死鎖，進(jìn)一步論證了
3、該物流系統(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ā)的大部分流水線系統(tǒng)構(gòu)件（出庫(kù)臺(tái)、皮帶線、轉(zhuǎn)角機(jī)，滾筒線）均可以良好運(yùn)行。關(guān)鍵詞：有色Petri網(wǎng)；自動(dòng)化立體倉(cāng)庫(kù)；任務(wù)規(guī)劃；CPNTools研究類型：應(yīng)用研究Subject：ModelingStudyofAutomatedWarehouseBasedonColoredPetri
4、NetsSpecialty：ControlTheoryandControlEngineeringName：MaoJinbo（Signature）Instructor：HouYuanbin（Signature）ABSTRACTAS/RS(AutomatedStorageandRetrievalSystem)isasystemwhichcanstoreandgetoutgoodsautomatedwithoutdirecthumanintervention.Andit’salsoasystemoftheuseofmulti-storeyshelves,fo
5、rkliftwhichcanaccesstogoodsinthecargospaceunderthecargoareaoftheroadway,computercontrol,informationandcommunication.Taskplanningisakeypointintheautomatedwarehouseresearch.So,it’sverynecessarytostudythestabilityandtherationalityoftaskplanningofthesystem.Firstly,thehardwareoftheau
6、tomaticlogisticssysteminSubjectsExperimentalCenterofXUSTisintroducedandanalysedinthethesis.Basedontheunderstandingofeachcorepart’sstructureandparameters,thePetriNetmodelisestablishedtodescribethetaskplanningofautomatedwarehouse,andthedefinitionofeachelementisgiven.Secondly,aimin
7、gatthetaskplanningofautomatedwarehouseandthecomplicacyofthePetriNetmodelestablished,andbasedontheanalysisandcomparisonofPetriNetandColoredPetriNet(CPN),amethodofCPNisproposedtomodeloftheautomatedwarehouse,andthenthedescriptivedefinitionofCPNmodelisgivencombiningwiththeactualsyst
8、em.Thetwooperations(InhouseandOuthouse)andtheth
