We have got an application whose graph drawing has states transitions that occur after a period of time AND/OR a condition is met and other transitions (from the same state to different one) if another condition is met.
Even though the washer machine is a clear example of timing an condition triggered transitions we cannot figure out how can we mix both at the same time and whether there is an order of prevalence between them.
Regards
Daniel
