Computer Engineering - Automazione Industriale

Full exam

Sistemi a Eventi Discreti – 11 luglio 2023 Prof. L. Ferrarini e L. Piroddi 1/4  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 di seguito rappresentata. 1.1) Dire, motivando sinteticamente la risposta, se la rete è un grafo marcato, una macchina a stati, una rete a scelta libera. 1.2) Calcolare, se possibile, i P-invarianti minimi della rete, illustrando il procedimento nel dettaglio. 1.3) Dire, motivando in modo sintetico e chiaro la risposta, se la rete è limitata, reversibile, viva. 1.4) Si consideri ora per la rete data il vincolo che l’insieme di posti p 1, p 3, p 4 abbia sempre almeno un gettone. Si chiede di scrivere il vincolo suddetto come vincolo di mutua esclusione generalizzata, e progettare il controllore in grado di imporlo secondo la tecnica del controllo supervisivo basato su P-invarianti, illustrando il procedimento nel dettaglio. Spiegare come cambiano le proprietà delle rete a seguito del controllo. ESERCIZIO 2 Si consideri l’impianto di imbottiglia- mento rappresentato in figura, costitui- to da due dispensatori di prodotto (D1 e D2), disposti lungo la stessa linea, com- posta da tre tratti adiacenti di nastro trasportatore (N0, N1 e N2) comandati separatamente. In corrispondenza dei due dispensatori, e ai limiti dei corrispettivi tratti di nastro trasportatore, sono collocati due sensori di posizione (S1 e S2), il cui fronte di salita rileva la presenza di una bottiglia nella posizione di riempimento e il cui fronte di discesa ne segnala l’avvenuto passaggio sul tratto successivo. N 0 N 1 N 2 D1 D2 S1 S2