Simulazione di sistemi ibridi manifatturieri: un confronto tra Matlab e Witness