É possível ter mais de uma transição saindo de um estado e indo para o mesmo estado, mas por razões diferentes? Por exemplo: o leilão está aberto, o leiloeiro pode cancelar o leilão e ele vai para o estado cancelado, ou o prazo do leilão pode ser expirado e ele vai para cancelado. Nesse caso eu devo colocar dois traços saindo do mesmo estado e indo para o novo, cada um com sua explicação; ou colocar apenas um traço e descrever nele as duas possibilidades que podem levar à mudança de estado; ou colocar apenas um traço e escrever nele algo mais genérico que possa representar as duas razões que podem levar à mudança de estado?