An abstract simulator for autonumous warehouse