Domande d'esame VERIFICATO
180620-a3 temi d'esame prof: Piroddi
9 visualizzazioni
Nessun voto ancora
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à.