CAJ | 학술논문

为提高现代企业仓储物流的设计质量和效率,提出了一种基于资源颜色时序信号的扩展Petri网建模及控制系统设计方法.该方法首先采用资源颜色时序信号的扩展Petri网建立了仓储系统的动态模型,清晰地描述了各种物流活动的顺序、并发,冲突等关系,并结合关联矩阵,阐述了判断死锁和陷阱的方法.该方法建立的模型可根据Petri网运算规则进行保性化简,便于仿真分析和验证,且可直接用于系统可编程逻辑控制器的控制程序设计.最后,以仓储物流控制系统为例,阐述了系统建模及控制设计过程.
위제고현대기업창저물류적설계질량화효솔,제출료일충기우자원안색시서신호적확전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.