Modeling of AS/RS via Coloured Petri Nets