Summary of icons in the main window:
![]() |
Creates a new workspace. |
![]() |
Opens an existing workspace (.fsm file). |
![]() |
Saves a workspace. |
![]() |
Prints current workspace. |
![]() |
Undo last command. |
![]() |
Redo last command. |
![]() |
Change display to full workspace or change display to default workspace/status panel. |
![]() |
Refresh workspace. |
![]() |
Start batch window. |
![]() |
Zoom in. |
![]() |
Zoom out. |
![]() |
Scale to fit. |
Summary of State, Transition, File Creation/Deletion, Operation, and Help commands (via command line or batch window):
1. Create new file
new
2. Open existing file
open
3. Rename current tab
rename new tab name
4. Save current tab to a file
save
5. Save current tab with specified name
saveas file name
6. Print current tab
7. Export current graph
export export type
8. Close tab
close tab index
cl tab index
9. Import file
import import type
10. Create state
state state name [-i] [-m]
s state name [-i] [-m]
-i option sets state state name as the initial state
-m option denotes state state name as a marked/final state
NOTE: Flags are also accepted in uppercase letters.
11. Create multiple states
multistate number of states
ms number of states
States are named the default name of 's'(t,a,t,e added sequentially where needed), followed by the lowest available digit.
NOTE: Flags are not accepted
12. Create transition
trans from state to state transition name [-uo] [-uc]
t from state to state transition name [-uo] [-uc]
-uo option denotes event transition name as unobservable
-uc option denotes event transition name as uncontrollable
NOTE: the from_state and to_state must be defined before transition is created
13. Initial a state
initial state name
14. Mark a state
mark state name
15. Unmark a state
unmark state name
16. Delete a state or a transition
delete state name
del state name
delete from state to state transition name
del from state to state transition name
17. Rename a state
renamestate old state name new state name
rnstate old state name new state name
18. Undo the last action
undo
19. Redo the last action
redo
20. Switch tabs
switch tabIndex
21. Open profile options
options
22. Open plugin manager
plugins
23. Refresh layout
refresh
24. Show status panel
show
25. Hide status panel
hide
26. Zoom in on graph
zoomin
zin
27. Zoom out on graph
zoomout
zout
28. Zoom fit on graph
zoomfit
zfit
29. Display batch window
batch
30. Display about window
about
31. Display help window
help
32. Command Description
? commandName
33. Exit DESUMA
exit
DESUMA Contact Information: Please e-mail questions to: giddes-support@mta.ca. Although we are unable to provide full technical support, we will do our best to help.