230624 a3 testo

Pagina 1

Sistemi a Eventi Discreti – 24 giugno 2023 Prof. L . Ferrarini e L. Piroddi 1/5 • Riportare su ogni foglio in alto a sinistra, nell’ordine: COGNOME e NOME (in stampatello maiuscolo), CODICE PERSONA, FIRMA (leggibile) • Non riportare nella stessa pagina risposte ad esercizi diversi • Non si possono consultare libri, appunti, dispense, ecc. • Si raccomandano chiarezza, precisione e concisione nelle risposte • Una risposta corretta non motivata sufficientemente sarà penalizzata ESERCIZIO 1 Si consideri la rete di Petri riportata in figura. 1.1) Calcolare i P-invarianti minimi della rete dat a e dire che cosa si può concludere sulla sua limitatezza in base alla loro conoscenza. 1.2) Verificare che S 1 = {p1, p4} e S2 = {p1, p3, p6} sono sifoni della rete data. 1.3) Determinare i vincoli (nella forma standard) c he bisogna imporre per garantire che durante l’evoluzione della rete nessun sifone si svuoti. 1.4) Implementare i vincoli trovati al punto preced ente con la tecnica del controllo supervisivo basato su P-invarianti. Si commenti il risultato. ESERCIZIO 2 Si consideri la stazione FMS automatizzata rapprese ntata in figura, composta da 4 macchine (due di tipo M1, una di tipo M2 e una di tipo M3) e un robot manipolatore R per il carico e lo scarico dei pezzi sulle macchine. La stazione produce tre prodotti diversi che vengon o lavorati sulle 3 macchine secondo il routing riport ato nella tabella seguente. 1 2 3 P1 M1 M2 M3 P2 M2 M1 M3 P3 M3 M2 M1 Macchina M2 Macchina M3 Macchina M1 Robot R 2.1) Trascurando le operazioni di trasporto effettu ate dal robot descrivere il processo mediante un modello a reti di Petri di tipo FMS. 2.2) Discutere come andrebbe modificato il modello per includere le operazioni di trasporto. T1 T2 T3 T4 P1 P2 P3 P4 P5 P6 Sistemi a Eventi…