O bbiettivo fondamentale dello Studio Nappi, nella progettazione del software delle macchine, è quello di implementare una logica di controllo che si basi su modelli matematici. Questo sforzo è ripagato da un guadagno in termini di affidabilità e efficienza del controllo.

Tra le metodologie più usate è interessanti per l’automazione industriale vi è il modello delle reti di Petri. Esse hanno un importanza predominante a causa di vari fattori:

• Sono un formalismo grafico e matematico allo stesso tempo.
• Permettono di dare una rappresentazione compatta di sistemi con un grande spazio di stato.
• Permettono di rappresentare esplicitamente il concetto di concorrenza, cioè di attività che possono venire svolte parallelamente.
• Consentono una rappresentazione modulare vale a dire se un sistema è composto da più sottosistemi è possibile rappresentare ciascun sottosistema come una semplice sotto rete.