Domande d'esame VERIFICATO
160208-a1 temi d'esame prof: Piroddi
Nessun voto ancora
Di cosa parla
- Matrice di incidenza: C = \[ \begin{bmatrix} 1 & -1 & 0 & -1 & 0 \\ 0 & 1 & -1 & 0 & 1 \\ -1 & 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \\ -1 & 0 & 1 & 1 & 1 \end{bmatrix} \]
- P-invariante: [1 1 1 1 0]', T-invariante: [1 1 1 0 0]'
- Sifoni minimi: S1 = {P1, P2, P3, P4}, S2 = {P1, P2, P4, P5}
- Trappole: S1 e S2 contengono trappole marcate, ma non minime
- Vivezza: Non sufficiente per garantire la vivezza della rete
- Marcature morte: Sufficiente per garantire l'assenza di marcature morte raggiungibili dalla marcatura iniziale
- Programma LD per il lasciapassare: ALZA IC -> T1, L -> MOT_SU, T2, L -> MOT_GIU; 2S -> FC U MOT_SU, T2, 20S -> IC U MOT_GIU
- SFC per il processo con risorse: O1 e O3 richiedono PEZZO_IN, O2 richiede R1_DISP=1, O1, O2, O3 terminano con pezzi asportati