Hi all
Drawing a statechart to describe the behaviour of my system, in some cases it occurs that a transition between two states A and B is due either to a timeout or a particular signal received, and in both cases the subsequent operations are the same.
Then, how can I implement it on my statechart? Does it exist a way to mark a transition like
<timeout>or<event>/[<operation1>,<operation2>,..], or it is better to draw two transitions, one with timeout and another one with the event?
I have added an image to show better my request.
Thanks
Andrea
