t1
Transition between states
From
Junction1
To
Junction1