Domande d'esame VERIFICATO
temi d'esame prof: Ferrarini
8 visualizzazioni
Nessun voto ancora
Di cosa parla
- Calcolare la matrice di incidenza e il grafo di raggiungibilità per una rete di Petri specificata.
- Determinare se la rete è viva, reversibile e binaria, basandosi sul grafo di raggiungibilità.
- Calcolare i P-invarianti minimi e verificare se la rete è strettamente conservativa.
- Identificare tutti i sifoni della rete contenenti determinati posti, individuando quelli minimi e di base.
- Calcolare il controllore massimamente permissivo che soddisfa un vincolo specifico ed eseguire la rappresentazione grafica della rete controllata.
- Modellizzare un impianto batch con due serbatoi e un reattore utilizzando operazioni ad un evento, definendo le operazioni elementari, modellizzando le ricette e gestendo le risorse.
- Risolvere il problema di produzione di prodotti A e B su un impianto considerando vincoli specifici utilizzando strutture classiche di and/or convergenza/divergenza, nuovi passi e transizioni senza condizioni associate.