A Control Strategy to Manage Automated Storage and Retrieval Systems Modeled by Colored Timed Petri Nets