Esempio movimentazione carrello in linguaggio SFC