计算机测量与控制
計算機測量與控製
계산궤측량여공제
COMPUTER MEASUREMENT & CONTROL
2012年
3期
777-779,783
,共4页
有色Petri网%CPN Tools%有界性%活性
有色Petri網%CPN Tools%有界性%活性
유색Petri망%CPN Tools%유계성%활성
针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础.
針對西安科技大學自動化物流繫統的任務規劃,在研究有色Petri網相關理論的基礎上,採用基于有色Petri網的方法對該物流繫統進行建模,併結閤實際繫統提齣瞭CPN模型描述性定義,然後在CPN Tools環境下對繫統齣、入庫操作兩種操作和齣、入庫和移庫3種操作進行倣真,通過對繫統模型狀態空間的分析,驗證瞭有色Petri網應用在物流繫統中的通用性以及該繫統具有有界性和活性等特性,進一步論證瞭該物流繫統任務規劃的閤理性,為整箇繫統的穩定性和多任務的協調操作奠定瞭理論基礎.
침대서안과기대학자동화물류계통적임무규화,재연구유색Petri망상관이론적기출상,채용기우유색Petri망적방법대해물류계통진행건모,병결합실제계통제출료CPN모형묘술성정의,연후재CPN Tools배경하대계통출、입고조작량충조작화출、입고화이고3충조작진행방진,통과대계통모형상태공간적분석,험증료유색Petri망응용재물류계통중적통용성이급해계통구유유계성화활성등특성,진일보론증료해물류계통임무규화적합이성,위정개계통적은정성화다임무적협조조작전정료이론기출.
