Formal modeling of production processes and their optimization

Starting date
June 14, 2019
Duration (months)
Computer Science
Managers or local contacts
Fummi Franco

The aim of the project is to model the various production lines through their digital twin at the right level of detail. With it, it is possible to evaluate the correctness of a production process, calculate its production time and production parameters such as: waste, use of machines, etc. In addition, by connecting the digital twin to the real production line it is possible to detect errors, exceptions and to identify more easily the corrections to be made to the production plan.


Veronesi Holding s.p.a.
Funds: assigned and managed by the department

Project participants

Alessia Bozzini
Research Scholarship Holders
Roberta Chirico
Research Scholarship Holders
Franco Fummi
Full Professor
Marco Panato
Research Scholarship Holders
Stefano Spellini
PhD student
Research areas involved in the project
Sistemi ciberfisici
Embedded and cyber-physical systems


Research facilities