Modeling of automated storage/retrieval systems using petri nets