Francesco Basile Pasquale Chiacchio Jolanda Coppola A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems. 1-8 2016 ETFA https://doi.org/10.1109/ETFA.2016.7733609 conf/etfa/2016 db/conf/etfa/etfa2016.html#BasileCC16