Navigate through a Labeled Transition System
(The Labeled Transition System will not be changed)
- By clicking upon the home button
- By clicking upon one of the arrow buttons
- By clicking upon one of the marked transitions
- By clicking upon the redo or undo button
- By clicking upon a black, blue or gray colored label