190129 SED

Page 1

SED – Prof. L. Ferrarini – 29 gen 2019 Ingegneria dell’Automazione 1/6 POLITECNICO DI MILANO SISTEMI AD EVENTI DISCRETI Prof. Luca Ferrarini Anno Accademico 2018 / 19 29 gennaio 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 – 29 gen 2019 Ingegneria dell’Automazione 2/6 ESERCIZIO 1 1.1) Determinare la matrice di incidenza della rete presentata in figura. 1.2) Dire se la rete è un grafo marcato, una macchina a stati, una rete a scelta libera.  Rete a scelta libera 1.3) Calcolare due T-invarianti della rete. SED – Prof. L. Ferrarini – 29 gen 2019 Ingegneria dell’Automazione 3/6 1.4) 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. Conservativa, (se sommo i PI fa [2 1 1 1 1]) ma non strettamente. 1.5) Calcolare il grafo di raggiungibilità della rete. 1.6) Dire, motivando chiaramente e sinteticamente la risposta, è: • Limitata Sì, grafo finito • Reversibile Sì, da ogni stato del grafo posso tornare allo stato iniziale • Viva Sì, da ogni stato del grafo posso mettermi in condizione di attivare ogni transizione SED – Prof. L. Ferrarini – 29 gen 2019 Ingegneria dell’Automazione 4/6 1.7) Applicare il…