Support reentrance and asynchronous transitions