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

为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法.该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发,冲突等关系,并结合关联矩阵,阐述了判断死锁和陷阱的方法.该方法建立的模型可根据Petri网运算规则进行保性化简,便于仿真分析和验证,且可直接用于系统可编程逻辑控制器的控制程序设计.最后,以仓储物流控制系统为例,阐述了系统建模及控制设计过程.

Modeling and control program design of automated storage and retrieval system

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.