Domande d'esame VERIFICATO
180125-a1 temi d'esame prof: Piroddi
Nessun voto ancora
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.