You can define separate transitions for different origin states leading to the same state.