240110 a1 soluzione

Page 1

Sistemi a Eventi Discreti – 10 gennaio 2024 Prof. L. Ferrarini e L. Piroddi 1/6  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 P- e T-invarianti della rete. 1.2) Dire se la rete è conservativa (eventualmente strettamente). 1.3) Dire se la rete è una macchina a stati, un grafo marcato, una macchina a stati, una rete a scelta libera. 1.4) Determinare tutti i sifoni p 2-minimi della rete e specificare se sono minimi. 1.5) Trovare, se esiste, una marcat ura raggiungibile tale che uno dei sifoni trovati al punto precedente risulti smarcato. 1.6) Formulare un vincolo di mutu a esclusione generalizzata che impedisca lo smarcamento di tale sifone e determinare la rete di controllo che lo implementa. t1 t2 t3 t4 t5 t6 t7 t8 p7 p8 p9 p1 p2 p3 p4 p5 p6 ESERCIZIO 2 Un robot esegue delle manovre di presa e movimentazione in due posizioni come segue. L’operatore ha a disposizione due pulsanti di comando: START_D e START_S. Si supponga che la posizione iniziale del robot sia quella di sinistra (fin ecorsa FS = 1) e bassa (finecorsa FGIU = 1).  Quando l’operatore preme il pulsante START_D (STA RT_D = 1), il robot si alza (ALZA = 1) fino al finecorsa superiore (FSU = 1). Poi il robot si muove a destra (DESTRA = 1) fino al finecorsa destro (FD = 1). Infine il robot si abbassa (ABBASSA =1) fino al finecorsa inferiore (FGIU = 1) e si ferma.  Se a questo punto…