Modeling of Loading and Unloading Scheduling System Based on Object-Oriented Timed Petri Net
Jing Xie · Jisuanji fangzhen · 2006
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.