论文部分内容阅读
采用面向对象的赋时PetriJq（Object Oriented Timed Petri Net，OOTPN）未讨论自动化立体仓库出入库（AS／RS）调度的建模问题。首先，对立体仓库的出入库调度元素进行分类乖抽象秉合，得到系统的类关系；然后，在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型；最后，分析了该模型的死锁问题。