Performance-based comparison of control policies for automated storage and retrieval systems modelled by coloured Petri nets | IEEE Conference Publication | IEEE Xplore