A Colored Petri Net Tool for the Design of Robotic Palletizing Cells | IEEE Conference Publication | IEEE Xplore