摘要
针对西安科技大学自动化物流系统的任务规划,在研究有色Petri网相关理论的基础上,采用基于有色Petri网的方法对该物流系统进行建模,并结合实际系统提出了CPN模型描述性定义,然后在CPN Tools环境下对系统出、入库操作两种操作和出、入库和移库3种操作进行仿真,通过对系统模型状态空间的分析,验证了有色Petri网应用在物流系统中的通用性以及该系统具有有界性和活性等特性,进一步论证了该物流系统任务规划的合理性,为整个系统的稳定性和多任务的协调操作奠定了理论基础。
Aiming at Xi＇an University of Science and Technology＇s Automated Logistics System task planning, the method of Colored Petri Nets is used to model the Automated Logistics System, and the descriptive definition of CPN model is proposed combining with the actual system on the basis of the studying the related theory of Colored Petri Nets （CPN）. The two operations （Inhouse and Outhouse） and the three operations （Inhouse. Outhouse and Movehouse） of the system are simulated in the CPN Tools environment in the paper. The anal- ysis of state space of the system model verifies the universal of CPN applied in Logistics System, and that the system has the properties of boundedness and liveness, which demonstrates further the rationality of task planning of the system, and establishes the foundation of the stability and the coordinated operation of multi--tasking of the whole system.
出处
《计算机测量与控制》
CSCD
北大核心
2012年第3期777-779,783,共4页
Computer Measurement &Control
基金
陕西省自然基金资助(2009jm8002)
关键词
有色PETRI网
CPN
TOOLS
有界性
活性
colored Petri nets （CPN）, CPN tools, boundedness properties
liveness properties
