【摘要】 提出了一种实时控制的 petri 网(RCPN)模型,该模型通过对库所和变迁分别引入传输端口信息作为其属性来实现.基于此 petri 网模型,对自动化立体仓库输送系统运行过程的调度问题进行研究,建立了一种典型立体仓库输送系统的实时控制的 petri 网模型,并且对系统死锁进行了研究.更多还原

【Abstract】 A real time control model of petri net is presented.The transmission ports information is introduced with respect to places and transitions which is called the attribute of places and transitions respectively.Based this petri net model,the scheduling problem of running process of transporting system in an typical automated high rise warehouse is studied,the process is modeled with real time control petri net and the deadlock of transporting system is analysed.更多还原