Domande d'esame VERIFICATO
SEDLUG201 temi d'esame prof: Ferrarini
Nessun voto ancora
Di cosa parla
- Scrivere il vettore della matrice di incidenza relativo al posto P4
- Determinare il vettore della matrice di input relativo alla transizione t2
- Calcolare il vettore della matrice di output relativo alla transizione t1
- Calcolare il grafo di raggiungibilità e identificare le marcature appartenenti a esso
- Riportare due sifoni per la rete di Petri e spiegare come sono stati trovati
- Determinare se la rete è limitata, viva e reversibile utilizzando il grafo di raggiungibilità
- Applicare il metodo del controllo supervisivo basato sui P-invarianti per rispettare il vincolo m1+m2+m3+m4+m6>=1, riportando il vettore L relativo al vincolo, la riga della matrice di incidenza e la marcatura iniziale del posto creato
- Calcolare i T-invarianti minimi della rete e discutere le deduzioni sulla reversibilità a partire da questo calcolo