180125-a1 temi d'esame prof: Piroddi
Stai vedendo l'anteprima delle prime pagine. Il file completo è gratis: registrati per leggerlo tutto.
Di cosa parla
- Rete di Petri pura: necessita di specificazione per garantire informazioni complete sulla topologia.
- Esercizio 1: rete viva, limitata e reversibile; P-invarianti minimi calcolati, rete conservativa e strettamente conservativa; non può esistere una marcatura iniziale per cui la rete risulti non limitata.
- Esercizio 2: definizione di operazioni e risorse, modello FMS con politica di risoluzione del blocco critico.
- Esercizio 3: realizzazione di un programma in Ladder Diagram per il controllo dell’elevatore.
- Esercizio 4: qualificatori di azione e funzionamento associato ai qualificatori N, L, D, P, S ed R descritti nel dettaglio.
Questo appunto è gratis. Registrati in 30 secondi per leggere tutte le pagine e scaricarlo.