230711 a4 soluzione

Pagina 1

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 p1, p 3, p4 abbia sempre almeno un gettone. Si chiede di scrivere il vinc olo suddetto come vincolo di mutua esclusione generalizzata, e progettare il controllore in grad o 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 de i corrispettivi tratti di nastro trasportatore, sono collocati due sensori di posizione (S1 e S2), il cui front e di salita rileva la pr esenza di…