Create a visual state-transition studio for designing and analyzing systems wh…