Getting Started with DESUMA2

From DESUMA Wiki
Getting Started with DESUMA2
Jump to: navigation, search

This is the tutorial page for DESUMA and UMDES.

Contents

Setting up UMDES

DESUMA is a Java based program to allow users of the UMDES library to graphically view results. To use UMDES, it must be downloaded. It can be downloaded here. After downloading UMDES, DESUMA must be pointed to the UMDES library to use its functions. To do this, select Edit>Preferences.... (Or on OSX, Desuma>Preferences....).

Under the profile tab, select the 'Browse...' button under the Plugins Directory. Locate where your copy of DESUMA is stored, and select the file umdes.xml in the umdes folder. Click OK and the plugin will be automatically loaded every time DESUMA is launched.

NOTE: On Linux/Unix/Mac systems, you may need to change the file permissions of the files if the library consists of executables. You can fix this by going to the directory of the executables and type in the command line "chmod+x *" or through the File Preferences for your operating system.

States

Creating States

States can be created via the command line or the batch window. It is possible to create states that initially have no markings, or it is possible to use flags to indicate that a state has special properties (e.g., initial, marked).

A state can also be added by right-clicking the graph and selecting "Add State" from the pop-up menu. Note that this method does not allow flagging.

Using the Command Line

There are two ways to create a state without flags:

-Type state state_name into the command line and press <Enter>.
-Type s state_name into the command line and press <Enter>.
Personal tools
Namespaces
Variants
Actions
Navigation
Toolbox
EECS @ UM
Tools