[2022][Febrero][Problema 1]

[2022][Febrero][Problema 1]

de Bryan Gabriel Salamone Varela -
Número de respuestas: 0
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?