A Colored Timed Petri Net model for a cyber-physical view of automated warehouse systems.

Francesco Basile, Pasquale Chiacchio, Jolanda Coppola

Browse the full ETFA paper archive.