Domande d'esame VERIFICATO

temi d'esame prof: Ferrarini

9 visualizzazioni

Nessun voto ancora

Di cosa parla

Calcolo della matrice di incidenza e del grafo di raggiungibilità per una rete di Petri.
Determinazione se la rete è 1-limitata, viva e reversibile; identificazione di T-invariante e insiemi generatori di P-invarianti.
Analisi dei sifoni minimi in una rete di Petri e loro relazione con i P-invarianti.
Determinazione del controllore massimamente permissivo che soddisfa un vincolo specifico.

Vedi tutto il file Scarica