Modeling of an AS/RS serviced by rail-guided vehicles with colored Petri nets: a control perspective | IEEE Conference Publication | IEEE Xplore