Viene proposto un modello ibrido per processi manifatturieri. I lavori (job) sono processati attraverso una rete di stazioni di lavorazione (macchine) e buffer. Ciascuna delle macchine è modellata come un sistema a stati finiti. In ogni stato di funzionamento le condizioni operative sono modellate mediante un opportuno sistema dinamico. I collegamenti tra le macchine sono realizzati per mezzo dei buffer che sono modellati a loro volta come sistemi a stati finiti.
Il modello è implementato sia in Matlab sia in Witness, per confrontarne le prestazioni per la simulazione di modelli ibridi di sistemi manifatturieri.