Transition system visualisation
The transition system can be visualised as a network in an interactive chart called Transition system visualisation. The nodes represent the states of the transition system, while the edges represent transitions between the particular states. It is possible to adjust the position of nodes by dragging them, highlight their content by clicking on them, and also display a particular transition by clicking on edge. The initial state from which was the transition system generated is shown in the orange colour.
The highlighted features in the picture are:
-
highlighted edge – edges and nodes can be highlighted by left-clicking on them.
-
contents of the highlighted object – the contents of the clicked node or edge are displayed. An edge contains particular interaction responsible for the transition with evaluated probability (or a probability function of parameters). A node contains agent counts present in the state.
-
options for graph details – it is possible to adjust three features of the graph by switch buttons: top – nodes with a transition to special state “hell” (if any) are highlighted by a squared border, middle – self-loops are hidden, bottom – special state “hell” (if any) is hidden.
-
zooming options – zooming and centring buttons. Zooming can also be achieved by mouse wheel.
-
navigation panel – vertical and horizontal navigation in the chart. It can also be achieved by left-clicking of mouse followed its dragging on an empty space in the chart.