Sistemi di automazione per la logistica: un esempio di software per lo smistamento dei pacchi