Questo testo raccoglie gli appunti del corso "Ottimizzazione e modellizzazione di sistemi elettronici" che si tiene al Politecnico di Torino. Affronta alcune tematiche avanzate per la progettazione di sistemi elettronici quali le reti dataflow, le reti di petri, i linguaggi sincroni e lo scheduling.