面向仓储物流的建模及控制系统设计方法  

Modeling and control program design of automated storage and retrieval system

作　　者：许晓伟[1,2] 梁英宏[3] 吴耀华[4] 

机构地区：[1]中山大学信息科学与技术学院,广东广州510006 [2]中山大学数字家庭教育部重点实验室,广东广州510006 [3]广东商学院广东省电子商务市场应用技术重点实验室,广东广州510320 [4]山东大学现代物流中心,山东济南250061

出　　处：《计算机集成制造系统》2009年第12期2335-2342,2390,共9页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(50175064);NSFC-广东联合基金资助项目(U0735001;U0835004);国家863计划资助项目(2006CB303106)~~

摘　　要：为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法。该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发、冲突等关系,并结合关联矩阵,阐述了判断死锁和陷阱的方法。该方法建立的模型可根据Petri网运算规则进行保性化简,便于仿真分析和验证,且可直接用于系统可编程逻辑控制器的控制程序设计。最后,以仓储物流控制系统为例,阐述了系统建模及控制设计过程。To improve the design efficiency and quality of logistics control system in modern manufacturing enterprises,a modeling design method based on Signal Timed Colored Resource Petri Nets（STCRPNs） for Automated Storage and Retrieval System（AS/RS） was put forward.This method used STCRPNs to construct the dynamic model of AS/RS,which could clearly denote various logistic movements and the sequence,concurrence,conflict relationships among them in AS/RS.And by combining association matrix tools,the method to judge deadlock and trap in the model was explained.The dynamic model could also be simplified according to Petri Nets calculation rules so as to conveniently conduct simulation analysis and verification.And the STCRPNs model could directly applied to design the programmable logic controller control program.A case study on a real application was provided for interpreting the modeling design process.

关 键 词：物流 自动化仓储系统 PETRI网 可编程逻辑控制器 梯形图 建模 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术] TP273[自动化与计算机技术—计算机科学与技术]