A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems | IEEE Conference Publication | IEEE Xplore