Domande d'esame VERIFICATO
170301-a2 temi d'esame prof: Piroddi
Nessun voto ancora
Di cosa parla
- La rete di Petri non appartiene a nessuna delle sotto-classi ordinarie e contiene una sotto-rete di "confusione".
- Il grafo di raggiungibilità è disegnato con 8 marcature, identificate come M0 a M7.
- M4 è una marcatura morta, rendendo la rete non viva e non reversibile; la limitatezza della rete è mantenuta.
- Il vincolo m3 ≤ 2 esclude solo M4 ma introduce un'altra marcatura morta.
- In SFC, le sequenze produttive sono modellizzate con transizioni iniziali e finali, variabili di consenso OK_Oij per la disponibilità delle risorse, e eventi End_Oij per la conclusione delle operazioni Oij.
- Nella logica dei diagrammi (LD), l'aggiornamento dello stato del supervisore e la determinazione dei consensi sono implementati con istruzioni IF-THEN che aggiornano le variabili di disponibilità R1_disp, R2_disp e R3_disp in base agli eventi End_Oij.