Ciao caputo,
scusami se non ti ho risp fino ad ora. Allora ho cercato di farlo anch'io ed è venuta una cosa molto simile alla tua.
Per i silos $S_i$ in pratica sono identici se non per il fatto che ho fatto riunire le fasi alla fine, prima del comando che li svuota, tu lo hai fatto prima ma penso proprio sia lo stesso.
Per il silos $S$ invece l'ho fatto un po' differente. Allora in pratica tra la fase iniziale (la tua fase_3) e la scelta, ho inserito un'altra fase e la transizione tra queste è un segnale di "Pronto", che non asserisco in questo blocco (come fai tu nella fase_3 (tra le altre cose non ho capito a che ti serve così...)) ma nel blocco di gestione. Dopo questo c'è la scelta (identica alla tua). Tutto questo l'ho fatto perché così posso facilmente implementare il controllo sull'allarme: in pratica quando questa fase di mezzo è attiva vuol dire che il silos $S$ dovrebbe essere pieno ma se non ha raggiunto il giusto livello asserisce l'allarme. A parole è sempre complicato, spero abbia capito cosa intendo.
Per la FB di gestione identici, con lo stesso semaforo, solo che il segnale commuta l'ho fatto di tipo s/r (ma tanto è lo stesso), e va bé anche qui ho messo il controllo per l'allarme.
Una cosa non ho capito: perché il contatore a 19? scusa tu non devi contare a ritroso da 20 a 0? l'ultimo, arrivato a 0 non lo esegue quindi conta 20 cicli? o no?
In serata magari ti posto le immagini così è tutto più comprensibile.
ps io domani sto a fisciano magari potremmo incontrarci e fare qualche esercizio insieme.fammi sapere
pps appena svolgo quella del 18-01 ti posto pure quella