160217 SED

Page 1

SED – Prof. L. Ferrarini – 17 feb 2016 Ingegneria dell’Automazione 1/6 POLITECNICO DI MILANO SISTEMI AD EVENTI DISCRETI Prof. Luca Ferrarini Anno Accademico 2015 / 16 17 febbraio 2016 COGNOME .............................................................. NOME ..................................................................... MATRICOLA ......................................................... FIRMA ..................................................................... • Non riportare sulla stessa pagina risposte a domande di esercizi diversi. • Non consegnare fogli addizionali. • Non si possono consultare libri, appunti, dispense, ecc. • Si raccomandano chiarezza, precisione e concisione nelle risposte. SED – Prof. L. Ferrarini – 17 feb 2016 Ingegneria dell’Automazione 2/6 ESERCIZIO 1 – Si consideri la rete di Petri di seguito rappresentata. 1.1) Disegnare con la massima chiarezza possibile la rete la cui matrice di incidenza è: 0 0 0 1 -1 -1 1 0 0 -1 0 0 -1 1 0 1 0 1 -1 0 -1 -1 0 0 1 1.2) Dire se la rete è un grafo marcato, una macchina a stati, una rete a scelta libera. 1.3) Calcolare i P-invarianti minimi della rete. SED – Prof. L. Ferrarini – 17 feb 2016 Ingegneria dell’Automazione 3/6 1.4) Si dica, motivando la risposta, se la se è conservativa e strettamente conservativa. 1.5) Dire, motivando chiaramente e sinteticamente la risposta, se la rete è: • Limitata • Reversibile • Viva 1.6) Motivando la risposta, dire se l’insieme {P1, P2, P3} è un sifone, una trappola, o nessuno dei due. 1.7) Applicare il metodo del controllo supervisivo basato sui P-invarianti per imporre il vincolo che il posto P1 non abbia mai più di un gettone. Si disegni il controllo sintetizzato al punto precedente (si può disegnare il controllo anche nella soluzione dell’esercizio 1.1). SED –…