A Colored Petri Net Tool for the Design of Robotic Palletizing Cells. - Graziana Cavone; Silvia Stella; Paolo Scarabaggio; Raffaele Carli; Stefano Lisi; Achille Claudio Garavelli; Mariagrazia Dotoli (CoDIT, 2023)