Buenas, tenia una duda acerca de si el modelado de este ejercicio esta bien. Me quedo muy similar a la solucion. Describo mis estados:
No vela= espera vela
verificar=verificar diametro
Ensanchar=ensancha vela
no Ensanchar=expulsa vela
La unica diferencia que vi significativa con la solucion es que hay una transaccion entre ensanchar a expulsar y yo esta mismo no la tengo, pero agregue una entre no ensanchar a no vela.¿Estaria bien modelado o hay algun error?