Extract STG from HTG
Starting from the Hierarchical Transition Graph (HTG) it is possible to generate the underlying STG. The generated STG will contain all the states and edges corresponding to the set of selected hierarchical nodes. The computed STG can also be extended to the states in the immediate neighborhood of the states of the selected hierarchical nodes.
Node selection in the HTG
Once the HTG is generated, it's possible to select the set of HTG nodes to be expanded, using the mouse together with the Ctrl (Cmd on Mac OS X) key pressed.
After the selection of nodes, the HTG expansion tool can be launched through the Expand hierarchical nodes option of the Tools menu.
Running the STG extraction tool
The Expand hierarchical nodes option of the Tools menu, will open a dialog GUI where the user is presented with two options:
The option to include the states in the immediate neighborhood of the selected states, enriching the resulting STG;
The option to define and/or select a perturbation to be applied to the model, which will affect transitions between states in the STG.