190724 SED

Page 1

SED – Prof. L. Ferrarini – 24 lug 2019 Ingegneria dell’Automazione 1/5 POLITECNICO DI MILANO SISTEMI AD EVENTI DISCRETI Prof. Luca Ferrarini Anno Accademico 2018 / 19 24 luglio 2019 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. • È permesso l’uso della matita SED – Prof. L. Ferrarini – 24 lug 2019 Ingegneria dell’Automazione 2/5 ESERCIZIO 1 1.1) Determinare la matrice di incidenza della rete presentata in figura. 1.2) Calcolare i P-invarianti minimi della rete. Quindi, si dica – motivando la risposta – se la rete è conservativa. Si dica inoltre se è strettamente conservativa, sempre motivando la risposta. 1.3) Dire se la rete è un grafo marcato, una macchina a stati finiti, una rete a scelta libera. 1.4) Calcolare, se possibile, due T-invarianti della rete. Quindi, si dica – motivando la risposta – se è possibile dedurre qualcosa sulla reversibilità da questo calcolo. 1.5) Calcolare il grafo di raggiungibilità della rete. 1.6) Dire, motivando chiaramente e sinteticamente la risposta, se la rete è:  Limitata  Reversibile  Viva 1.7) Applicare il metodo del controllo supervisivo basato su P-invarianti per impedire la presenza di uno o più gettoni nel posto P3. Disegnare il controllore sulla rete ad inizio esercizio. 1.8) Spiegare come cambia, a seguito del controllore progettato, il grafo di…