Selection of optimal control policies for automated storage / retrieval system using Petri net modal and stochastic optimization