180620-a3 temi d'esame prof: Piroddi
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Calcolo dei P- e T-invarianti, verifica della conservatività e impatti su limitatezza, vivezza e reversibilità.
- Determinazione di sifoni minimi e marcatura morta con specifiche sequenze di transizioni.
- Analisi delle proprietà fondamentali della rete in presenza di marcature morte.
- Progettazione di un sotto-retro di controllo per prevenire la marcatura morta utilizzando P-invarianti.
- Identificazione degli ingressi e uscite del sistema, progettazione di una logica di controllo in SFC e aggiunta di specifiche temporali.
- Esplicazione degli algoritmi di evoluzione e discussione delle differenze tra quelli con e senza ricerca di stabilità, codifica LD dell'algoritmo senza ricerca di stabilità.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.