Domande d'esame VERIFICATO

temi d'esame prof: Ferrarini

Nessun voto ancora

Di cosa parla

Calcolare la matrice di incidenza e il grafo di raggiungibilità per una rete di Petri.
Determinare se la rete è viva, reversibile e k-limitata, utilizzando i P-invarianti minimi e i sifoni P-minimi.
Identificare vincoli da imporre a una rete di Petri basandosi sui P-invarianti minimi e i sifoni P-minimi.
Calcolare il controllore massimamente permissivo per un vincolo specifico e rappresentare graficamente la rete controllata modificata.

Vedi tutto il file Scarica