A discrete event model for the control and analysis of complex automated warehouse systems | IEEE Conference Publication | IEEE Xplore