1Tian G H, Liu Ch Y. Modeling,analysis and control of DEDS in the framework of temporal logic: a case study [A] . Automatic (IFAC'96), San Francisco, California, USA, 1996.
2F.Basile, C.Carbone, P.Chiacchio. Modeling of AS/RS via Coloured Petri Nets [ A] . 2001 IEEE/ASME International Conference on Advanced intelligent Mechatronics Proceedings. Como, Italy, 2001.
3M. Dotoli, M.P. Fanti. Modeling of an AS/RSServiced by Rail-Guided Vehicles with Colored Petri Nets: a Control Perspective [ A] . IEEE International Conference on Systems, Man and Cybernetics. 2002, 162-167.
