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. |
Below is a table of supported commands that Desuamtakes either in its
Command Area or Batch Window. Pardoning the command "?"
every other commands has a corresponding operation in the graphical
UI. Example: clicking on a state and typing "m" marks it or right
clicking on one brings up the option to mark it but there is still the
command "m" and "mark".
< > is an optional
argument
[ ] is a list of arguments.
Commands | Explanation |
? <cmd> | If specified without a command will display the list of all
available comments. If specified with a command name, display the help message related to the command. Notes: the list of reported commands is not as extensive as this list. To assist the user, only one command name per operation is listed (ex. the command 'event' is synonymous with 'ev' and 'e' so only one of the three appear by just typing ?) |
addagent | Adds an agent to the currently displayed automaton. The default property for the new agent is control and observation over all events. |
cl close |
Closes the current tab |
del from <to> tran del state or delete |
Deletes a state or a transition. The 'to' argument is useful in a non-deterministic graph. If no arguments are specified, delete will remove all items currently selected in the display area. |
demo {a number} | These are just 5 graphs (numbers 1 to 5). Number 4 has states 1 and 2 equivalent and is taken from Figure 2.25 from Introduction To Discrete Event Systems (Lafortune & Cassandras). Number 5 is a non-deterministic version of the language L={A}. |
e name <uo> <uc> [int <uo>
<uc>] or event/ev |
This command creates an event if it is not already in the
model. Typically you would only use "ev name" to create the event
and use the Event Summary Tab to edit the event's properties. An advanced example (which may be seen in something like a batch window script) is event A uo 1 uo 4 o 5 uc The first "uo" states the new event is unobservable, "1 uo" is then redundant, "4 o" says that fourth agent can observe it, and "5 uc" states that the fifth agent cannot control the event. The default specification when undefined is can control and can observe. The example assumes there are at least five agents. |
illegal from <to> tran legal from [to] tran |
Makes the selected transition named "tran" that starts at at "from" either illegal or legal. If the model is non-deterministic, it may be worthwhile to specify the "to" state. This corresponds to the keyboard hot-keys of "i" or "l" when things are selected in the graph area. |
initial state | Makes the given state the initial one. Corresponds to the hot-key "i" when a single state (and no transitions) are selected in the graph area. |
lock unlock |
Locks/unlocks the current workspace (tab) so that it cannot be modified. |
m state u state or mark & unmark |
Marks or unmarks the given state. Corresponds to the hot-keys "m" and "u" |
ms num <prefix> or multistate |
Creates num states with the given prefix (prompts for one if
not supplied). Numbers are special: ms 10 1 -> creates 10 states numbered 1 through 10 If a states in the generator list already exists (say a state 5 already existed before the above command), the named are merely incremented. |
new | Creates a new tab. This is useful in a batch script or the batch window. |
open [files] | Opens the given list of files. This is useful in a batch script or the batch window. |
read file | Opens the given fsa or xml file. This is useful in a batch script or the batch window. |
q quit |
Exits Desuma cleanly. |
redo undo |
Performs a redo or undo of the last edit to the graph |
refresh | Refreshes the graph display area. Sometimes it freezes or ghosts. The blue refresh button is another alternative. |
removeagent | Removes the highest numbered agent. It should be noted that doing an "undo" operation will restore the agent back to the model but "addagent" will introduce the generic agent that can control and observe all events. |
rens old <new> renamestate rnstate |
Renames a given state. This same task can be done by right-clicking the state or clicking in the name area of the state in the State Summary Panel |
rent from old new <to> renametrans renametran |
Renames a given transition. If the graph is non-deterministic, it may be worthwhile to specify a "to" state. Once case to note is that if there are two transitions, say 'A', going from state 1 to 2, the only way to one specifically is to right-click on it then select "Edit/Rename Transition". |
rme [event name] <-f> | Removes the set of events given. Unless the option -f is given, only inactive events are removed. If -f is given, all listed events and their transitions are removed. |
rmi | Removes all inactive events. |
rnall int | Renames the states starting at the given number |
rnevent old new <-f> or rne/renameevent |
Renames an event. If -f is not given, the command silently fails if the event is inactive. If -f is given, all associated transitions with the event are renamed to new. (the control & observability of these transitions are based on their new event). |
state <x=int,y=int> <name< <-i> <-m>" | Add a new state named "name". If provided, the state will be positioned as specified. If no name is provided, you will be prompted for one. If a state with that name exists already, a number will be appended. -i: Make the added state the initial state. -m: Make the added state final (marked). |
t from to name <-i> [int -uc -uo]; or transion/trans |
Similar to rent/renametran for its options. |
undo/redo | Does an undo or redo. |
There are additional commands outside of those listed above but they are mainly used by Desuma's back-end or testing purposes. In other words, don't be surprised if you find accidentally find a commands not listed.
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.