【摘要】 采用面向对象的赋时Petri网(ObjectOrientedTimedPetriNet,OOTPN)来讨论自动化立体仓库出入库(AS/RS)调度的建模问题。首先,对立体仓库的出入库调度元素进行分类和抽象聚合,得到系统的类关系;然后,在此基础上建立了由六个子模块组成的立体仓库出入库调度的OOTPN模型;最后,分析了该模型的死锁问题。更多还原

【Abstract】 An Object-Oriented Timed Petri Net(OOTPN)was introduced to discuss the problem about the loading and unloading scheduling system of automatic storage/retrieval(AS/RS)modeling.At first,the scheduling elements of the system were classified and abstracted,and the objected class relation was obtained,then the Petri Net(PN)mapping relation about the object class was established.Secondly,the OOTPN model of AS/RS system was set up based on the PN relation.The system model was discomposed into six models which communicated via transitions.Token colors were properly defined so as to simplify the model.At last,the deadlock problem of the model was analyzed.The model is benefit to extended for it’s OO character and allows us to simulate in program easily.更多还原