An approach to model the AS/RS via Colored Timed Petri Net

As to automated storage and retrieval systems (AS/RS), the schedule and control issues are often mixed together, since they are closely related. Our study intends to focus on the latter. Therefore, we initially clarify the roles between scheduler and controller. Then we employ Colored Petri Net (CTPN) as a modeling tools for the deadlock study which is noted as a significant problem in most literatures on AS/RS. In our research, CTPN has been modified from the primitive definition, with more elements added in order to enhance the modeling capability. Based on the CTPN model, we attempt to solve the deadlock problems in system.