L'ultimo punto mi è stato un pò ostico da svolgere, non ho capito se è una specifica statica o dinamica, per il resto delle specifiche statiche il solo automa di specifica statica mi è risultato essere di 13 stati
Poi la composizione concorrente del controllore di processo pompa e dell'automa di specifica viene da se abbastanza semplice.
Cmq io per ogni specifica dinamica ho indicato un automa a stati, e poi ho fatto la composizione concorrente