Automatic plotting of transition graphs added.