Analysis - Visualization options | Back to contents
Before you can start with the visualization, make sure you have performed an analysis. SeQuaiA offers a variety of visualization options. In the following, we will explain them in detail.
With minimum iteration and maximum iteration you can determine which states to display. SeQuaiA only displays states that are discovered within the minimum iteration and maximum iteration. This is useful when you are dealing with a large system.
By default states are grouped by iteration and iteration SCCs, i.e. all states with the same iteration number are grouped together and within this group they are grouped together again if they belong to the same strongly-connected component. You can also group the states only by iteration (number) or iteration SCCs.
Colorize iteration: The states are colored according to their iteration (number), i.e. all states discovered within the same iteration have the same color. The lower the iteration number, the more red the color. The higher the iteration number, the more blue the color.
Colorize steady state: The states are colored according to the steady-state distribution of the whole system. The darker the shade of red, the more probability mass is located in that state.
Colorize steady state in SCCs: The states are colored according to the steady-state distribution of the strongly-connected component they belong to. The darker the shade of red, the more probability mass is located in that state. In the case that a strongly-connected component consists of only one state, the entire probability mass is located in that state.
Colorize refinement suggestions: Colorizes the states where non-determinism is present in blue and colorizes states where high level degradation is present in red.
Colorize correlation: Two buttons below the combobox appear, where you can edit two correlations. If you press one of the buttons, a dialog will open, prompting you to add value pairs.
Expanded view: The states are displayed individually
Collapsed view: The states belonging to the same group (e.g. same iteration, same SCC) are collapsed into one single state.
Determines the width of the resulting image in pixel. The exported image will also have the specified width.
For small models you can use the in-built view, by clicking Visualize. For larger models, you may want to use Export to DOT to visualize the model with an external tool.