Thanks for the reply Christophe. I had considered this alternative, but adding a transition in every state to the initial state, when Error -> Ok defeats the purpose of having an orthogonal region, which I added to basically reduce transitions on an Error. -Samriti