Research on Modeling of Stereo Warehouse Based on Colored Timed Petri Nets

This paper expounds theory and method of constructing the model of Automated Storage /Retrieval Systems(AS/RS) via Colored Timed Petri Net (CTPN), in which token denotes the task number, stacker and RGV. The color domain is described as the sequence during the process of the task execution. Moreover, a process of the AS/RS modularization framework is illustrated in this thesis.